Quantifier Elimination and Craig Interpolation: The Quantitative Way.

Kevin Batz, Joost-Pieter Katoen, Nora Orhan

Browse the full FOSSACS paper archive.