1 “... in Tokyo, 1989. Various topics in logic programming are covered. The first paper is an invited talk by Prof...”

2 “... in Tokyo, June 22-24, 1987. It is the successor of Lecture Notes in Computer Science volumes 221 and 264...”