Some decision problems on integer matrices Christian Choffrut and Juhani Karhumäki RAIRO-Theor. Inf. Appl., 39 1 (2005) 125-131 Published online: 15 March 2005 DOI: 10.1051/ita:2005007