@proceedings{DBLP:conf/lp/1987,
editor = {Koichi Furukawa and
Hozumi Tanaka and
Tetsunosuke Fujisaki},
title = {Logic Programming '87, Proceedings of the 6th Conference,
Tokyo, Japan, June 22-24, 1987},
booktitle = {LP},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {315},
year = {1988},
isbn = {3-540-19426-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}