Henry A. Kautz Wolfgang Thomas Moshe Y. Vardi 05241 Abstracts Collection - Synthesis and Planning. 2005 conf/dagstuhl/2005P5241 Synthesis and Planning http://drops.dagstuhl.de/opus/volltexte/2006/453 db/conf/dagstuhl/P5241.html#KautzTV05a