Logic programming '88 : proceedings of the 7th conference, Tokyo, Japan, April 11-14, 1988 - Furukawa, Kōichi; Tanaka, H. (Hozumi); Fujisaki, T. (Tetsunosuke) (Lecture notes in computer science ;, 1989)