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