Solving Quantitative Equations. - Georg Ehling; Temur Kutsia (IJCAR (2), 2024)

Graded Quantitative Narrowing. - Mauricio Ayala-Rincón; Thaynara Arielly de Lima; Georg Ehling; Temur Kutsia (CoRR, 2025)