Vesa Halava Tero Harju Mika Hirvensalo Undecidability Bounds for Integer Matrices Using Claus Instances. 931-948 2007 18 Int. J. Found. Comput. Sci. 5 http://dx.doi.org/10.1142/S0129054107005066 db/journals/ijfcs/ijfcs18.html#HalavaHH07