Logic Programming : 21st International Conference, ICLP 2005, Sitges, Spain, October 2-5, 2005, Proceedings - Maurizio Gabbrielli, Gopal Gupta ((Lecture Notes in Computer Science))