TY  - RPRT
TI  - Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic (Extended Technical Report)
AU  - Angelo Brillout
AU  - Daniel Kroening
AU  - Philipp Ruemmer
AU  - Thomas Wahl
PY  - 2010
DO  - 10.1007/978-3-642-18275-4_8
UR  - https://arxiv.org/abs/1011.1036
ID  - 1011.1036
ER  -