1. [Bosco,etal.-87] Bosco, P. G., Giovanetti, E., and Moiso, C. “Refined strategies for semantic unification” Proceedings of International Joint Conference on Theory and Practice of Software Development, Pisa, Italy (March 1987), pp. 276–290. (Available as Vol. 250, Lecture Notes in Computer Science, Springer, Berlin.)
2. Dershowitz, N., and Plaisted, D. A. “Logic programming cum applicative programming”. Proceedings of the 1985 Symposium on Logic Programming, Boston, MA (July 1985), pp. 54–66.
3. Dershowitz, N., and Plaisted, D. A. “Equational programming”. In: Machine Intelligence 11 (J. E. Hayes, D. Michie, and J. Richards, eds.), Oxford Press, Oxford, pp. 21–56, in press.
4. Fay, M. “First-order unification in an equational theory”. Proceedings of the Fourth Workshop on Automated Deduction, Austin, TX (February 1979), pp. 161–167.
5. Fribourg, L. “Slog: A logic programming language interpreter based on clausal superposition and rewriting”. Proceedings of the 1985 Symposium on Logic Programming, Boston, MA (July 1985), pp. 172–184.