Logic Programming 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings - Codognet, Philippe; Codognet, Philippe (Springer Berlin Heidelberg : Imprint: Springer, 2001)