Decidability of the membership problem for 2 x 2 integer matrices (Proceedings of the Twenty-Eighth Annual ACM-SIAM Symposium on Discrete Algorithms, 2017)

(untitled) - Potapov, I; Semukhin, P