@misc{RISC2509,
author = {B. Buchberger},
title = {{The Theorema Project}},
language = {english},
year = {1998},
month = {October 13},
annote = {1998-10-13-A},
note = {Invited colloquium talk at Universitad de Oriente, Santiago, Cuba},
institution = {Universitad de Oriente, Santiago, Cuba}
}