Hrushovski, E., Ouaknine, J., Pouly, A., & Worrell, J. (2023). On Strongest Algebraic Program Invariants. Journal of the ACM, 70(5): 29, pp. 1-22. doi:10.1145/3614319.