TY - BOOK AU - Levi Giorgio ED - International Conference on Algebraic and Logic Programming( 4th : 1994 : Madrid ) ED - International Conference on Algebraic and Logic Programming 4th TI - Algebraic and logic programming : proceedings SN - 540-5843-1 U1 - 5.115 PY - 1994/// CY - Berlin PB - Springer Verlag KW - Algebra KW - Logic programming ER -