author = {B. Buchberger},
title = {{Theorema: A Progress Report}},
language = {english},
year = {1999},
month = {June 15},
annote = {1999-06-15-A},
note = {Invited colloquium talk at GMD Bonn, Institut fuer Algorithmen, Germany},
institution = {GMD Bonn, Institut fuer Algorithmen, Germany}