author = {B. Buchberger},
title = {{The Present State of the Theorema Project}},
language = {english},
year = {1996},
month = {November 16},
annote = {1996-11-16-A},
note = {Contributed talk at TMR Meeting Calculemus, Dagstuhl, Germany},
conferencename = {TMR Meeting Calculemus, Dagstuhl, Germany}