@misc{RISC2501,
author = {B. Buchberger},
title = {{Theorema: A System for Supporting Mathematical Proving}},
language = {english},
year = {1999},
month = {October 22},
annote = {1999-10-22-A},
note = {Invited colloquium talk at University of Illinois at Urbana-Champaign, Department of Mathematics, USA},
institution = {University of Illinois at Urbana-Champaign, Department of Mathematics, USA}
}