Bell, P. The Identity Problem for Matrix Semigroups in SL2(Z) is NP-complete. Presented at ACM-SIAM Symposium on Discrete Algorithms