@article{RISC2327,
author = {B. Buchberger},
title = {{Theorema: A Proving System Based on Mathematica}},
language = {english},
journal = {The Mathematica Journal},
volume = {8},
number = {2},
pages = {247--252},
publisher = {Copyright: Wolfram Research},
isbn_issn = {ISSN: 1047-5974},
year = {2001},
annote = {2001-03-00-A},
refereed = {yes},
length = {6}
}