Moshe Y. Vardi Logic and Automata: A Match Made in Heaven. 64-65 2003 conf/icalp/2003 ICALP http://link.springer.de/link/service/series/0558/bibs/2719/27190064.htm db/conf/icalp/icalp2003.html#Vardi03