TY  - BOOK
AU  - Wada Eiiti Ed.
ED  - Conference on logic programming 85 (1985 : Tokyo)
TI  - Proceeding on logic programming
T2  - Lectuer notes in computer science; 221
U1  - D65,8(B)92p1,N85, M6 
PY  - 1986///
CY  - Berlin
PB  - Springer-Verlag       
KW  - Computer programming
N1  - Includes bibliography
ER  -