author = {B. Buchberger},}
title = {{Overview on Theorema}},
language = {english},
year = {1997},
month = {June 6},
annote = {1997-06-06-A},
note = {Contributed talk at First International Theorema Workshop, RISC, Hagenberg, Austria},
conferencename = {First International Theorema Workshop, RISC, Hagenberg, Austria}