LOGIC PROGRAMMING 87 : PROCEEDINGS OF THE 6TH CONFERENCE, Tokyo, Japan, June 22-24, 1987 - Jaffer, Joxan (Lecture notes in computer science, 1988)