@misc{RISC2690,
author = {B. Buchberger},
title = {{Overview on the Theorema System}},
language = {english},
year = {1998},
month = {June 29},
annote = {1998-06-29-A},
note = {Contributed talk at International Theorema Workshop, RISC, Hagenberg, Austria},
conferencename = {International Theorema Workshop, RISC, Hagenberg, Austria}
}