@article{Abstract-Completeness-AFP,
  author  = {Jasmin Christian Blanchette and Andrei Popescu and Dmitriy Traytel},
  title   = {Abstract Completeness},
  journal = {Archive of Formal Proofs},
  month   = apr,
  year    = 2014,
  note    = {\url{https://isa-afp.org/entries/Abstract_Completeness.html},
            Formal proof development},
  ISSN    = {2150-914x},
}

@article{FOL-Seq-Calc2-AFP,
  author  = {Asta Halkjær From and Frederik Krogsdal Jacobsen},
  title   = {A Sequent Calculus Prover for First-Order Logic with Functions},
  journal = {Archive of Formal Proofs},
  month   = jan,
  year    = 2022,
  note    = {\url{https://isa-afp.org/entries/FOL_Seq_Calc2.html},
            Formal proof development},
  ISSN    = {2150-914x},
}

@article{BlanchettePT17,
  author    = {Jasmin Christian Blanchette and
               Andrei Popescu and
               Dmitriy Traytel},
  title     = {Soundness and Completeness Proofs by Coinductive Methods},
  journal   = {Journal of Automated Reasoning},
  volume    = {58},
  number    = {1},
  pages     = {149--179},
  year      = {2017},
  doi       = {10.1007/s10817-016-9391-3}
}

