1. Lecture Notes in Computer Science;H. Aït-Kaci,1991
2. Aït-Kaci, H., Lincoln, P., Nasr, R.: Le Fun: Logic, equations, and Functions. In: Proc. 4th IEEE Internat. Symposium on Logic Programming, pp. 17–23. IEEE Computer Society Press, San Francisco (1987)
3. Antoy, S.: Non-Determinism and Lazy Evaluation in Logic Programming. In: Proc. Int. Workshop on Logic Program Synthesis and Transformation (LOPSTR 1991), Workshops in Computing, pp. 318–331. Springer, Heidelberg (1991)
4. Lecture Notes in Computer Science;S. Antoy,1992
5. Lecture Notes in Computer Science;S. Antoy,1997