Craig Interpolation for Quantifier-Free Presburger Arithmetic

Angelo Brillout Daniel Kroening Thomas Wahl Craig Interpolation for Quantifier-Free Presburger Arithmetic http://arxiv.org/abs/0811.3521 2008 CoRR abs/0811.3521 db/journals/corr/corr0811.html#abs-0811-3521 informal publication