Moshe Y. Vardi The Büchi Complementation Saga. 12-22 2007 conf/stacs/2007 STACS http://dx.doi.org/10.1007/978-3-540-70918-3_2 db/conf/stacs/stacs2007.html#Vardi07