Highly Undecidable Problems For Infinite ComputationsOlivier FinkelRAIRO-Theor. Inf. Appl., 43 2 (2009) 339-364DOI: https://doi.org/10.1051/ita/2009001
