@misc{indiciaeef42da47a5ac,
  title = {Craig Interpolation for Quantifier-Free Presburger Arithmetic},
  author = {Angelo Brillout and Daniel Kroening and Thomas Wahl},
  year = {2008},
  url = {https://arxiv.org/abs/0811.3521},
  note = {Source identifier: 0811.3521}
}