Vesa Halava, Tero Harju, Juhani Karhumäki. Undecidability in omega-Regular Languages. Fundamenta Informaticae, 73(1-2):119-125, 2006. [doi]
@article{HalavaHK06,
title = {Undecidability in omega-Regular Languages},
author = {Vesa Halava and Tero Harju and Juhani Karhumäki},
year = {2006},
url = {http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=73&issue=1&spage=119},
researchr = {https://researchr.org/publication/HalavaHK06},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {73},
number = {1-2},
pages = {119-125},
}