@inproceedings{92361,
  author = {Yakir Vizel and Arie Gurfinkel and Sharad Malik},
  title = {Fast Interpolating BMC},
  year = {2015},
  journal = {International Conference on Computer Aided Verification},
  pages = {641{\textendash}657},
  publisher = {Springer International Publishing},
  language = {eng},
}