Logic Programming : 19th International Conference, ICLP 2003, Mumbai, India, December 9-13, 2003, Proceedings - Catuscia Palamidessi ((Lecture Notes in Computer Science))