Roderick Bloem Alessandro Cimatti Ingo Pill Marco Roveri Simone Semprini Symbolic Implementation of Alternating Automata. 208-218 2006 conf/wia/2006 CIAA http://dx.doi.org/10.1007/11812128_20 db/conf/wia/ciaa2006.html#BloemCPRS06