Proceedings 3rd International Conference on Logic Programming, New York, 1986, Springer-Verlag

• Morris, Katherine; Unman, Jeffrey and van Gelder, (1986) Morris, Katherine; Unman, Jeffrey and van Gelder, Allen "Design Overview of the NAIL! System" pp554-568
• Naish, Lee (1986) Naish, Lee "Negation and quantifiers in NU-­Prolog" pp624-634