Third international conference on logic programming : Imperial Colege of Science and Technology, London, United Kingdom, July 14-18, 1986 : proceedings - Shapiro, Ehud (Springer, 1986)