@inproceedings{spk2008-vmcai,
  title = "Approximation Refinement for Interpolation-Based Model Checking",
  author = "D'Silva, Vijay and Purandare, Mitra and Kroening, Daniel",
  year = "2008",
  booktitle = "Proceedings of VMCAI 2008",
  pages = "68--82",
  publisher = "Springer",
  series = "Lecture Notes in Computer Science",
  volume = "4905",
}