Logic and Automata: A Match Made in Heaven.

Moshe Y. Vardi

Browse the full ICALP paper archive.