@misc{indiciae6b2d1d680938,
  title = {Formalizing the Soundness of the Encoding Methods of SAT-based Model Checking},
  author = {Daisuke Ishii and Saito Fujii},
  year = {2022},
  doi = {10.1109/tase49443.2020.00023},
  url = {https://arxiv.org/abs/2006.13613},
  note = {Source identifier: 2006.13613}
}