Holger Spakowski Rahul Tripathi On the Power of Unambiguity in Alternating Machines. 291-326 2007 41 Theory Comput. Syst. 2 http://dx.doi.org/10.1007/s00224-007-2014-y db/journals/mst/mst41.html#SpakowskiT07