H. Kautz, W. Thomas, und M. Vardi. Synthesis and Planning, Volume 05241 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)
H. Kautz, W. Thomas, und M. Vardi. Synthesis and Planning, Volume 05241 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)
R. Downey, B. Khoussainov, D. Kuske, M. Lohrey, und M. Vardi. Algorithmic-Logical Theory of Infinite Structures, Volume 07441 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)
R. Downey, B. Khoussainov, D. Kuske, M. Lohrey, und M. Vardi. Algorithmic-Logical Theory of Infinite Structures, Volume 07441 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)