About the decision of reachability for register machines Véronique Cortier RAIRO-Theor. Inf. Appl., 36 4 (2002) 341-358 Published online: 15 February 2003 DOI: 10.1051/ita:2003001
