Quantifier Elimination and Craig Interpolation: The Quantitative Way. - Kevin Batz; Joost-Pieter Katoen; Nora Orhan (FoSSaCS, 2025)

Quantifier Elimination and Craig Interpolation: The Quantitative Way (Technical Report). - Kevin Batz; Joost-Pieter Katoen; Nora Orhan (CoRR, 2025)