TY  - BOOK
AU  - Saraswat Vijay Ed.
AU  -  Veda Kazunor Ed.
ED  - International symposium on logic programming (1991 : San Diego)
TI  - Proceeding on logic programming
T2  - Inter symposium on logic programming
U1  - D65,8(B)92:(R1)p1,N91, N1 
PY  - 1991///
CY  - Cambridge
PB  - MIT Press        
KW  - logic programming
ER  -