@inproceedings{RISC342,author = {B. Buchberger},
title = {{Mathematica as a Rewrite Language}},
booktitle = {{Functional and Logic Programming (Proceedings of the 2nd Fuji International Workshop on Functional and Logic Programming, November 1-4, 1996, Shonan Village Center)}},
language = {english},
pages = {1--13},
publisher = {Copyright: World Scientific, Singapore - New Jersey - London - Hong Kong},
isbn_issn = {ISBN 981-02-2923-2},
year = {1996},
annote = {1996-11-01-A},
editor = {T. Ida and A. Ohori and M. Takeichi},
refereed = {yes},
keywords = {Keywords: design of Theorema, sequence variables, automated proving, automated induction, functors, syntax, algorithms and theorems},
length = {13}
}