K. Chatterjee, E. K. Goharshady, M. Karrabi, H. J. Motwani, M. Seeliger, and Đorđe Žikelić, “Quantified Linear and Polynomial Arithmetic Satisfiability via Template-based Skolemization”, AAAI, vol. 39, no. 11, pp. 11158–11166, Apr. 2025.