author = {B. Buchberger},
title = {{Theorema: An Overview}},
language = {english},
year = {2004},
month = {July 22-23},
annote = {2004-07-23-A},
note = {Invited colloquium talk at Kyoto University, Graduate School of Computer Science},
institution = {Kyoto University, Graduate School of Computer Science}