Pierre Lescanne
-
A Rewriting Machine and Optimization of Strategies of Term Rewriting
Cybernetics and Systems Analysis
Cited References
Computer algebra handbook