author = {B. Buchberger},
title = {{Theorema: Current Work}},
language = {english},
year = {2003},
month = {February 16-18},
annote = {2003-02-15-A},
note = {Contributed talk at Second International Conference on Mathematical Knowledge Management, Bertinoro, Italy, discussion session},
conferencename = {Second International Conference on Mathematical Knowledge Management, Bertinoro, Italy, discussion session}