author = {B. Buchberger},
title = {{Theorema}},
language = {english},
year = {2011},
month = {June 14},
annote = {2011-06-14-A},
note = {Invited colloquium talk at University of Waterloo, Dept. of Computer Science},
institution = {University of Waterloo, Dept. of Computer Science}