Synthesis and Planning Henry A. Kautz Wolfgang Thomas Moshe Y. Vardi 05241 2006 Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany Dagstuhl Seminar Proceedings db/conf/dagstuhl/P5241.html