@inproceedings{koss2004-cav,
  title = "Abstraction-based Satisfiability Solving of {Presburger} Arithmetic",
  author = "Kroening, Daniel and Ouaknine, Joel and Seshia, Sanjit and Strichman, Ofer",
  year = "2004",
  booktitle = "Proceedings of CAV 2004",
  editor = "Rajeev Alur and Doron A. Peled",
  isbn = "3-540-22342-8",
  month = "July",
  number = "3114",
  pages = "308--320",
  series = "LNCS",
}