TY  - BOOK
AU  - Voronkov Andrei
ED  - International Conference on Logic Programming and Automated Reasoning( 4th : 1993 : St Petersburg )
ED  - International Conference on Logic Programming and Automated Reasoning 4th
TI  - Algebraic and logic programming : proceedings
SN  - 0387-569-44-8
U1  - 5.115 
PY  - 1993///
CY  - Berlin
PB  - Springer Verlag
KW  - Automated reasoning
KW  - Logic programming
ER  -