Rod Downey Bakhadyr Khoussainov Dietrich Kuske Markus Lohrey Moshe Y. Vardi Algorithmic-Logical Theory of Infinite Structures 07441 2008 Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany Dagstuhl Seminar Proceedings db/conf/dagstuhl/P7441.html