@misc{indiciaea47c4bf35917,
  title = {A Flexible Proof Format for SAT Solver-Elaborator Communication},
  author = {Seulkee Baek and Mario Carneiro and Marijn J. H. Heule},
  year = {2022},
  doi = {10.46298/lmcs-18(2:3)2022},
  url = {https://arxiv.org/abs/2109.09665},
  note = {Source identifier: 2109.09665}
}