1. Algorithm = logic + control;Kowalski;Communications of the ACM,1979
2. The Gödel programming language.;Hill,1994
3. Naish L. Coroutining and the construction of terminating logic programs. Technical Report 92/5, Department of Computer Science, University of Melbourne, 1992.
4. Naish L. Parallelizing NU-Prolog. In: Bowen KA, Kowalski RA, editors. Proceedings of the Fifth International Conference/Symposium on Logic Programming, Seattle, Washington, August 1988. p. 1546–64.
5. Apt KR, Luitjes I. Verification of logic programs with delay declarations. In: Borzyszkowski A, Sokolowski S, editors. Proceedings of the Fourth International Conference on Algebraic Methodology and Software Technology, (AMAST’95). Lecture Notes in Computer Science, Vol. 936, Berlin: Springer, 1995. p. 66–90.