1. Almagor, S., Chistikov, D., Ouaknine, J., Worrell, J.: O-minimal invariants for linear loops. In: Proceedings of ICALP. LIPIcs, vol. 107, pp. 114:1–114:14. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2018)
2. Lecture Notes in Computer Science;A Bakhirkin,2018
3. Cai, J.-Y.: Computing Jordan normal forms exactly for commuting matrices in polynomial time. Technical report, SUNY at Buffalo (2000)
4. Cai, J.-Y., Lipton, R.J., Zalcstein, Y.: The complexity of the A B C problem. SIAM J. Comput. 29(6), 1878–1888 (2000)
5. Lecture Notes in Computer Science;R Clarisó,2004