@article{jalc080105, author = {Elena Petre}, title = {Watson-Crick $\omega$-Automata}, journal = jalc, year = 2003, volume = 8, number = 1, pages = {59--70} }