TY - BOOK AU - Levi, Giorgio., ed AU - Rodrą„§guez-Artalejo, Mario.,ed TI - Algebraic and Logic Programming T2 - Lecture notes in computer science U1 - 005.131 CY - Berlin PB - Springer ER -