Fijalkov, N., Ohlmann, P., Ouaknine, J., Pouly, A., & Worrell, J. (2019). Complete Semialgebraic Invariant Synthesis for the Kannan-Lipton Orbit Problem. Theory of Computing Systems, 63, 1027-1048. doi:10.1007/s00224-019-09913-3.