author = {B. Buchberger},
title = {{Theorema: A New Kind of Mathematical System}},
language = {english},
year = {1999},
month = {May 20},
annote = {1999-05-20-A},
note = {Invited colloquium talk at University of Debrecen, Hungary},
institution = {University of Debrecen, Hungary}