Logic Programming : 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings - Philippe Codognet ((Lecture Notes in Computer Science))