Logic programming : 22th International Conference, ICLP 2006 : Seattle, WA, USA, August 17-20, 2006 : proceedings - Etalle, Sandro; Truczynski, Miroslaw. (Springer, 2006)