Tobey, R. G. "Equivalence Recognition for Algebraic Expressions," Applied Mathematics 220 Research Project, Harvard University Computation Laboratory, June 1962.
(1962)
Languages mentioned
FORMAC
{1962} FORmula MAnipulation Compiler