TY  - BOOK
AU  - Furukawa, K. Ed.
AU  - Tanaka, H. Ed.
AU  - Fujisaki, T. Ed.
TI  - Logic Programming '87: Proceedings, 6th Conf., Tokyo, Japan, 1987
SN  - 3540194266
CY  - Berlin
KW  - Logic Programming '87
ER  -