Igor Potapov, Pavel Semukhin. Decidability of the Membership Problem for 2 × 2 integer matrices. In Philip N. Klein, editor, Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2017, Barcelona, Spain, Hotel Porta Fira, January 16-19. pages 170-186, SIAM, 2017. [doi]
Abstract is missing.