Richard J. Fateman. Symbolic Mathematics System Evaluators (extended abstract). In ISSAC. pages 86-94, 1996. [doi]
@inproceedings{Fateman96, title = {Symbolic Mathematics System Evaluators (extended abstract)}, author = {Richard J. Fateman}, year = {1996}, doi = {10.1145/236869.236907}, url = {http://doi.acm.org/10.1145/236869.236907}, researchr = {https://researchr.org/publication/Fateman96}, cites = {0}, citedby = {0}, pages = {86-94}, booktitle = {ISSAC}, }