Effective algebraic analysis approach to linear systems over Ore algebrasCluzeau, T.; Koutschan, C.; Quadrat, A.; Tõnso, MarisAlgebraic and symbolic computation methods in dynamical systems2020 / p. 3-52 https://doi.org/10.1007/978-3-030-38356-5_1