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]
@inproceedings{PotapovS17, title = {Decidability of the Membership Problem for 2 × 2 integer matrices}, author = {Igor Potapov and Pavel Semukhin}, year = {2017}, doi = {10.1137/1.9781611974782.12}, url = {http://dx.doi.org/10.1137/1.9781611974782.12}, researchr = {https://researchr.org/publication/PotapovS17}, cites = {0}, citedby = {0}, pages = {170-186}, booktitle = {Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, SODA 2017, Barcelona, Spain, Hotel Porta Fira, January 16-19}, editor = {Philip N. Klein}, publisher = {SIAM}, isbn = {978-1-61197-478-2}, }