Katherine A. Morris Jeffrey D. Ullman Allen Van Gelder Design Overview of the NAIL! System. 554-568 1986 conf/iclp/1986 ICLP db/conf/iclp/iclp86.html#MorrisUG86