1. S. Antoy, R. Echahed, and M. Hanus. A needed narrowing strategy. In POPL'94, pages 268–279. Portland, 1994.
2. L. Augustsson. A compiler for lazy ML. In Proceedings of the ACM Symposium on Lisp and Functional Programming, pages 218–227, 1984.
3. E. Börger, F. Lopez-Fraguas, and M. Rodriguez-Artalejo. A model for mathematical analysis of functional logic languages and their implementations. In IFIP'94, Vol. I, pages 410–415. IFIP Transactions A-51, 1994. North-Holland.
4. E. Börger and D. Rosenzweig. The WAM — definition and compiler correctness. Technical Report TR-14/92, Dipartimento di Informatica, Universita di Pisa, 1992.
5. R. Echahed. On completeness of narrowing strategies. In CAAP'88, pages 89–101. Springer-Verlag, 1988. LNCS 299.