BibTeX Export

@article{Authenticus:P-004-BTP,
	title = {{An automata-theoretic approach to the word problem for omega-terms over R}},
	author = {J Almeida and M Zeitoun},
	doi = {10.1016/j.tcs.2006.10.019},
	journal = {Theoretical Computer Science},
	number = {1-3},
	pages = {131-169},
	publisher = {Elsevier Science Bv},
	type = {Article},
	volume = {370},
	year = {2007}
}