Bergsträßer, 1., Ganardi, M., Lin, A. W., & Zetzsche, G. (2024). Ramsey Quantifiers in Linear Arithmetics. Proceedings of the ACM on Programming Languages, 8(POPL):, pp. 1-32. doi:10.1145/3632843.