Jean-Michel Couvreur Alexandre Duret-Lutz Denis Poitrenaud On-the-Fly Emptiness Checks for Generalized Büchi Automata. 169-184 2005 conf/spin/2005 SPIN http://dx.doi.org/10.1007/11537328_15 db/conf/spin/spin2005.html#CouvreurDP05