@misc{indiciaead594edb7efa,
  title = {Interpolation Properties and SAT-based Model Checking},
  author = {Arie Gurfinkel and Simone Fulvio Rollini and Natasha Sharygina},
  year = {2013},
  doi = {10.1007/978-3-319-02444-8\_19},
  url = {https://arxiv.org/abs/1212.4650},
  note = {Source identifier: 1212.4650}
}