1. Automatic synthesis of recursive programs: the proof-planning paradigm;A Armando;Proceedings of the 12th IEEE International Conference on Automated Software Engineering,1997
2. Unification theory;F Baader;Handbook of Automated Reasoning,1979
3. A transformation system for developing recursive programs;R S Boyer;A Computational Logic,1977
4. Dershowitz, 1982] Dershowitz, N. 1982: Orderings for term-rewriting systems;H Comon;Computational Logic: Essays in Honor of Alan Robinson,1994