Efficient inclusion testing for simple classes of unambiguous ω-automata. - Dimitri Isaak; Christof Löding (Inf. Process. Lett., 2012)