BibTeX Export

@article{Authenticus:P-002-KEA,
	title = {{The word problem for omega-terms over DA}},
	author = {A Moura},
	doi = {10.1016/j.tcs.2011.08.003},
	journal = {Theoretical Computer Science},
	number = {46},
	pages = {6556-6569},
	publisher = {Elsevier Science Bv},
	type = {Article},
	volume = {412},
	year = {2011}
}