1. Sergio Antoy. Design strategies for rewrite rules. In CTRS’l90, Montreal, Canada, June 1990. LNCS 516.
2. Sergio Antoy. Lazy evaluation in logic. In PLILP’91, Passau, Germany, August 1991, 371-382. LNCS 528.
3. L. G. Bouma and H. R. Walters. Implementing algebraic specifications. In J. A. Bergstra, J. Heering, and P. Klint, editors, Algebraic Specification, chapter 5. Addison-Wesley, Wokingham, England, 1989.
4. W. F. Clocksin and C. S. Mellish. Programming in Prolog, Springer-Verlag, Berlin, second edition, 1984.
5. Doug DeGroot and Gary Lindstrom, editors. Logic Programming: Functions, Relations, and Equations, Englewood Cliffs, ? J, 1986. Prentice-Hall.