The following publications are possibly variants of this publication:
- Interpolating Quantifier-Free Presburger ArithmeticDaniel Kroening, Jérôme Leroux, Philipp Rümmer. lpar 2010: 489-503 [doi]
- An Interpolating Sequent Calculus for Quantifier-Free Presburger ArithmeticAngelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl. cade 2010: 384-399 [doi]
- An Interpolating Sequent Calculus for Quantifier-Free Presburger ArithmeticAngelo Brillout, Daniel Kroening, Philipp Rümmer, Thomas Wahl. JAR, 47(4):341-367, 2011. [doi]