TY  - BOOK
AU  - Levi,Giorgio
AU  - Rodriguez-Artalejo,Mario
ED  - International Conference on Algebraic and Logic Programming
TI  - Algebraic and logic programming: 4th International Conference, ALP '94, Madrid, Spain, September 14-16, 1994 : proceedings 
SN  - 3540584315
AV  - QA76.6 I56 1994
PY  - 1994///
CY  - Berlin
PB  - Springer-Verlag
KW  - Logic programming
KW  - Congresses
KW  - Algebraic logic
ER  -