Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings

Sandro Etalle Miroslaw Truszczynski Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings 4079 2006 3-540-36635-0 ICLP Lecture Notes in Computer Science Springer db/conf/iclp/iclp2006.html