1. Solvable Cases of the Decision Problem;Ackermann,1954
2. Aho A., Sethi R. and Ullman J., Code Optimization and Finite Church-Rosser Systems. in Proceedings of Courant Computer Science Symposium 5, Ed. Rustin R., Prentice Hall (1972).
3. Aubin R., Mechanizing Structural Induction. Ph.D. thesis, U. of Edinburgh, Edinburgh 1976.
4. New Decision Algorithms for Finitely Presented Commutative Semigroups;Ballantyne,1979
5. An Efficient Unification Algorithm;Baxter,1973