Logic programming '87 : proceedings of the 6th conference, Tokyo, Japan, June 22-24, 1987 / - Furukawa, Kōichi.; Tanaka, H.; Fujisaki, T. (Springer-Verlag,, 1988)