William A. Kornfeld The purpose and promise of logic programming. 15-17 1986 conf/acm/1986 ACM Conference on Computer Science http://doi.acm.org/10.1145/324634.325180 db/conf/acm/csc1986.html#Kornfeld86