Sang-Ki Ko, Igor Potapov: Matrix Semigroup Freeness Problems in SL (2, \mathbb Z). SOFSEM 2017: 268-279