The following publications are possibly variants of this publication:
- An Interpolating Sequent Calculus for Quantifier-Free Presburger ArithmeticAngelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl. cade 2010: 384-399 [doi]
- Interpolating Quantifier-Free Presburger ArithmeticDaniel Kroening, Jérôme Leroux, Philipp Rümmer. lpar 2010: 489-503 [doi]
- Beyond Quantifier-Free Interpolation in Extensions of Presburger ArithmeticAngelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl. vmcai 2011: 88-102 [doi]
- Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmeticPeter Backeman, Philipp Rümmer, Aleksandar Zeljic. fmsd, 57(2):121-156, 2021. [doi]
- A Sequent Calculus for Integer Arithmetic with Counterexample GenerationPhilipp Rümmer. cade 2007: [doi]