Holger Spakowski Rahul Tripathi Hierarchical Unambiguity. 2079-2112 2009 38 SIAM J. Comput. 5 http://dx.doi.org/10.1137/07068196X db/journals/siamcomp/siamcomp38.html#SpakowskiT09