1. Bergstra, J. A., and Klop, J. W. “Conditional rewrite rules: Confluency and termination”, JCSS 32, pp. 323–362, 1986.
2. Dershowitz, N., Okada, M., and Sivakumar, G. “Canonical conditional rewrite systems”, submitted.
3. Dershowitz, N., and Plaisted, D. A. “Equational programming”. In Machine Intelligence 11: The logic and acquisition of knowledge (J. E. Hayes, D. Michie, and J. Richards, eds.), Clarendon Press, London, 1987.
4. 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.
5. Goguen, J. A., and Meseguer, J. “Eqlog: Equality, types and generic modules for logic programming”. In Logic Programming: Functions, relations and equations (D. DeGroot and G. Lindstrom, eds.), Prentice-Hall, Englewood Cliffs, NJ, pp. 295–363, 1986.