TY - BOOK AU - Kirchner, H़l ne., ed AU - Wechler, Wolfgang., ed TI - Algebraic and Logic Programming T2 - Lecture notes in computer science U1 - 005.131 CY - Berlin PB - Springer ER -