@inproceedings{92436,
  author = {Yakir Vizel and Arie Gurfinkel and Sharon Shoham and Sharad Malik},
  title = {IC3-Flipping the E in ICE},
  year = {2017},
  journal = {International Conference on Verification, Model Checking, and Abstract Interpretation},
  pages = {521{\textendash}538},
  publisher = {Springer, Cham},
  language = {eng},
}