@InCollection{zbMATH06904040,
Author = {Igor {Potapov} and Pavel {Semukhin}},
Title = {{Decidability of the membership problem for \(2\times 2\) integer matrices.}},
BookTitle = {{Proceedings of the 28th annual ACM-SIAM symposium on discrete algorithms, SODA 2017, Barcelona, Spain, January 16--19, 2017}},
ISBN = {978-1-61197-478-2},
Pages = {170--186},
Year = {2017},
Publisher = {Philadelphia, PA: Society for Industrial and Applied Mathematics (SIAM); New York, NY: Association for Computing Machinery (ACM)},
Language = {English},
MSC2010 = {68Q70 15B36 20M05 68R15},
Zbl = {1410.68245}
}