You are about to access our book library "Logic Programming: 17th International Conference, ICLP 2001, Paphos, Cyprus, November 26 - December 1, 2001. Proceedings (Lecture Notes in Computer Science, 2237) full version" .