@inproceedings{DGIV21,
  author = {Dureja, Rohit and Gurfinkel, Arie and Ivrii, Alexander and Vizel, Yakir},
  title = {{IC3 with Interal Signals}},
  booktitle = {Proceedings of Formal Methods in Computer-Aided Design (FMCAD)},
  publisher = {{IEEE/ACM}},
  address = {New Haven, CT, USA},
  editors = {Ruzica Piskac and Michael Whalen},
  month = oct,
  year = {2021},
  url = {https://ieeexplore.ieee.org/document/9617709},
  preprint = {../papers/DGIV21.pdf},
  award = {Best Paper Award}
}