@inproceedings{RISC2674,author = { B. Buchberger and T. Jebelean and F. Kriftner and M. Marin and E. Tomuta and D. Vasaru},
title = {{A Survey of the Theorema project}},
booktitle = {{Proceedings of ISSAC'97 (International Symposium on Symbolic and Algebraic Computation, Maui, Hawaii, July 21-23, 1997)}},
language = {english},
pages = {384--391},
publisher = {ACM Press},
isbn_issn = { ISBN 0-89791-875-4},
year = {1997},
annote = {1997-07-21-A},
editor = {W. Kuechlin},
refereed = {yes},
length = {8}
}