Efficient inclusion testing for simple classes of unambiguous ω-automata

Dimitri Isaak, Christof Löding. Efficient inclusion testing for simple classes of unambiguous ω-automata. Inf. Process. Lett., 112(14-15):578-582, 2012. [doi]

Abstract

Abstract is missing.