@misc{RISC4781,
author = {B. Buchberger and T. Jebelean and F. Kriftner and M. Marin and R. Pollak and E. Tomuta and D. Vasaru},
title = {{Progress of the Theorema Project}},
language = {english},
year = {1997},
month = {September 15},
annote = {1997-09-15-A},
note = {Contributed talk at CALCULEMUS'97-II},
institution = {Edinburgh, UK},
conferencename = {CALCULEMUS'97-II}
}