TY  - BOOK
AU  - Wada, E., Ed.
TI  - Logic programming '85,Proceedings
CY  - Berlin
ER  -