Undecidability of Topological and Arithmetical Properties of Infinitary Rational RelationsOlivier FinkelRAIRO-Theor. Inf. Appl., 37 2 (2003) 115-126DOI: https://doi.org/10.1051/ita:2003013
