TY  - BOOK
AU  - Kirchner,H.
AU  - Levi,G.
ED  - International Conference on Algebraic and Logic Programming
TI  - Algebraic and logic programming: Third International Conference, Volterra, Italy, September 2-4, 1992 
AV  - QA76.6 I56 1992
PY  - 1992///
CY  - Berlin
PB  - Springer-Verlag
KW  - Logic programming
KW  - Congresses
KW  - Algebraic logic
ER  -