Koichi Furukawa Hozumi Tanaka Tetsunosuke Fujisaki Logic Programming '87, Proceedings of the 6th Conference, Tokyo, Japan, June 22-24, 1987 LP Lecture Notes in Computer Science 315 Springer 1988 3-540-19426-6 db/conf/lp/lp87.html