Vesa Halava Mika Hirvensalo Improved matrix pair undecidability results. 191-205 2007 44 Acta Inf. 3-4 http://dx.doi.org/10.1007/s00236-007-0047-y db/journals/acta/acta44.html#HalavaH07