@article{krishna-etal-2022-proofver,
    title = "{P}roo{FV}er: Natural Logic Theorem Proving for Fact Verification",
    author = "Krishna, Amrith  and
      Riedel, Sebastian  and
      Vlachos, Andreas",
    editor = "Roark, Brian  and
      Nenkova, Ani",
    journal = "Transactions of the Association for Computational Linguistics",
    volume = "10",
    year = "2022",
    address = "Cambridge, MA",
    publisher = "MIT Press",
    url = "https://preview.aclanthology.org/fix-sig-urls/2022.tacl-1.59/",
    doi = "10.1162/tacl_a_00503",
    pages = "1013--1030"
}