TY - BOOK AU - Kirchner H ED - International Conference on Algebraic and Logic Programming( 3rd : 1992 : Volterra ) ED - International Conference on Algebraic and Logic Programming 3rd TI - Algebraic and logic programming : proceedings U1 - 5.115 PY - 1992/// CY - Berlin PB - Springer Verlag KW - Algebra KW - Computer science KW - Logic programming ER -