@inbook {MR2490958,
	title = {When is reachability intrinsically decidable?},
	booktitle = {Developments in language theory},
	series = {Lecture Notes in Comput. Sci.},
	volume = {5257},
	year = {2008},
	pages = {216{\textendash}227},
	publisher = {Springer, Berlin},
	organization = {Springer, Berlin},
	doi = {10.1007/978-3-540-85780-8_17},
	url = {https://doi.org/10.1007/978-3-540-85780-8_17},
	author = {Csima, Barbara F. and Khoussainov, Bakhadyr}
}
