Sang-Ki Ko, Igor Potapov. Matrix Semigroup Freeness Problems in SL (2, \mathbb Z). In Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, Tiziana Margaria, editors, SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings. Volume 10139 of Lecture Notes in Computer Science, pages 268-279, Springer, 2017. [doi]
Abstract is missing.