TY - BOOK AU - Codognet, Philippe. Ed. TI - Logic Programming, Proceedings of the 17th International Conference, Cyprus, 2001 SN - 3540429352 CY - New York KW - Logic Programming ER -