On the mortality problem: From multiplicative matrix equations to linear recurrence sequences and beyond - Bell, PC; Potapov, I; Semukhin, P (Information and Computation, 2021)