TY  - BOOK
AU  - Wada Eiiti Ed.
ED  - Conference on logic programming'86 (5 : 1986 : Japan)
TI  - Proceedings on logic programming'86
T2  - Lecture notes in computer science; 264
U1  - D65,8(B)92L0p1,N86, M7 
PY  - 1987///
CY  - Berlin
PB  - Springer-Verlag       
KW  - Computer programming
N1  - Includes bibliography
ER  -