Logic Programming : 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings - Sandro Etalle, Miros.aw Truszczy.ski ((Lecture Notes in Computer Science))