Almagor, S., Chistikov, D., Ouaknine, J., & Worrell, J. (2022). O-Minimal Invariants for Discrete-Time Dynamical Systems. ACM Transactions on Computational Logic, 23(2): 9, pp. 1-20. doi:10.1145/3501299.