author = {B. Buchberger},
title = {{Theorema: A New Kind of Mathematical System}},
language = {english},
year = {1999},
month = {April 19},
annote = {1999-04-19-A},
note = {Invited colloquium talk at University of Cluj, Romania},
institution = {University of Cluj, Romania}