Logic Programming 25th International Conference, ICLP 2009, Pasadena, CA, USA, July 14-17, 2009. Proceedings - Hill, Patricia M.; Warren, David S. (Springer Berlin Heidelberg : Imprint: Springer, 2009)