TY  - BOOK
AU  - Voronkov A ed.
ED  - Russian Conference on Logic programming(Sept. 1990, Sept. 1991 : Irkutsk and St.Petersburg, Russia>
ED  - Russian Conference on Logic Programming
TI  - Logic programming: proceedings
U1  - 5.115 
PY  - 1992///
CY  - Berlin
PB  - Springer-Verlag
KW  - Logic programming
ER  -