1. Lect Notes Comput Sci;H. Aït-Kaci,1990
2. H. Aït-Kaci, P. Lincoln, and R. Nasr. Le Fun: Logic, equations, and functions. In Proc. 4th IEEE Internat. Symposium on Logic Programming, pages 17–23, San Francisco, 1987. 68, 69
3. Lect Notes Comput Sci;S. Antoy,1997
4. S. Antoy, R. Echahed, and M. Hanus. A needed narrowing strategy. Journal of the ACM, 47(4):776–822, 2000. 69, 71
5. Lect Notes Comput Sci;S. Antoy,2000