Chatterjee, K.; Goharshady, E. K.; Karrabi, M.; Motwani, H. J.; Seeliger, M.; Žikelić, Đorđe. Quantified Linear and Polynomial Arithmetic Satisfiability via Template-Based Skolemization. AAAI 2025, 39, 11158-11166.