TY  - BOOK
AU  - Wada, Eiiti. Ed.
TI  - Logic Programming '86: Proceedings, 5th Conf., Tokyo, Japan, 1986
SN  - 3540180249
CY  - Berlin
KW  - Logic Programming
ER  -