TY  - BOOK
AU  - Shapiro Ehud Ed.
ED  - International conference on logic programming (3rd : 1986 : London)
TI  - Proceedings on logic programming
T2  - Lecture notes in computer science; 225
U1  - D65,8(B)92p1,N86, M6 
PY  - 1986///
CY  - Berlin
PB  - Springer-Verlag       
KW  - Computer programming
ER  -