Third International Conference on Logic Programming : Imperial College of Science and Technology, London, United Kingdom, July 14 - 18, 1986 ; Proceedings - Shapiro, Ehud (Herausgeber); International Conference on Logic Programming (3 : 1986 : London); Imperial College of Science; Technology (Lecture notes in computer science, 1986)