author = {B. Buchberger},
title = {{Theorema: A New Kind of Mathematical System}},
language = {english},
year = {1999},
month = {June 3},
annote = {1999-06-03-A},
note = {Invited talk at COCOA Conference in Torino, Italy},
conferencename = {COCOA Conference in Torino, Italy}