@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 = {#}
}