About the decision of reachability for register machinesVéronique CortierRAIRO-Theor. Inf. Appl., 36 4 (2002) 341-358DOI: https://doi.org/10.1051/ita:2003001
