Dimitri Isaak, Christof Löding. Efficient inclusion testing for simple classes of unambiguous ω-automata. Inf. Process. Lett., 112(14-15):578-582, 2012. [doi]
@article{IsaakL12,
title = {Efficient inclusion testing for simple classes of unambiguous ω-automata},
author = {Dimitri Isaak and Christof Löding},
year = {2012},
doi = {10.1016/j.ipl.2012.04.010},
url = {http://dx.doi.org/10.1016/j.ipl.2012.04.010},
researchr = {https://researchr.org/publication/IsaakL12},
cites = {0},
citedby = {0},
journal = {Inf. Process. Lett.},
volume = {112},
number = {14-15},
pages = {578-582},
}