@misc{indiciaeafc98b4f454d,
  title = {Efficient Certified RAT Verification},
  author = {Luís Cruz-Filipe and Marijn Heule and Warren Hunt and Matt Kaufmann and Peter Schneider-Kamp},
  year = {2016},
  doi = {10.1007/978-3-319-63046-5\_14},
  url = {https://arxiv.org/abs/1612.02353},
  note = {Source identifier: 1612.02353}
}