BibTeX Export

@article{Authenticus:P-000-W2N,
	title = {{SC-hyperdecidability of R}},
	author = {J Almeida and PV Silva},
	doi = {10.1016/s0304-3975(99)00329-1},
	journal = {Theoretical Computer Science},
	number = {1-2},
	pages = {569-591},
	publisher = {Elsevier Science Bv},
	type = {Article},
	volume = {255},
	year = {2001}
}