On the undecidability of the freeness of integer matrix semigroups (1991)

by D A Klarner, J-C Birget, W Satterfield
Venue:Internat. J. Algebra Comp