author = {T. Jebelean and B. Buchberger},
title = {{Theorema: Computation and Deduction in Natural Style}},
booktitle = {{Computer Algebra Handbook}},
language = {english},
pages = {453--454},
publisher = {Springer - Verlag Berlin},
isbn_issn = {ISBN 3-540-65466-6},
year = {2003},
annote = {2003-00-00-A},
editor = {J. Grabmeier and E. Kaltofen and V. Weispfennig},
refereed = {yes},
length = {2}