Manfred Kufleitner, Alexander Lauser
Languages of Dot-Depth One over Infinite Words
LICS, 2011.
@inproceedings{LICS-2011-KufleitnerL, author = "Manfred Kufleitner and Alexander Lauser", booktitle = "{Proceedings of the 26th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2011.24", isbn = "978-0-7695-4412-0", pages = "23--32", publisher = "{IEEE Computer Society}", title = "{Languages of Dot-Depth One over Infinite Words}", year = 2011, }