TY - BOOK AU - Kirchner H ED - International Conference on Algebraic and Logic Programming( 2nd : 1990 : Nancy,France ) ED - International Conference on Algebraic and Logic Programming 2nd TI - Algebraic and logic programming : proceedings SN - 3-540-53162-9 U1 - 5.115 PY - 1990/// CY - Berlin PB - Springer Verlag KW - Computer science KW - Logic programming ER -