Vector reachability problem in SL (2, ℤ) (41st International Symposium on Mathematical Foundations of Computer Science (MFCS 2016), 2016)

(untitled) - Potapov, I; Semukhin, P