Some decision problems on integer matricesChristian Choffrut and Juhani KarhumäkiRAIRO-Theor. Inf. Appl., 39 1 (2005) 125-131DOI: https://doi.org/10.1051/ita:2005007
