nproceedings{fleury2019,
  author    = {Mathias Fleury and
               Hans{-}J{\"{o}}rg Schurr},
  editor    = {Giselle Reis and
               Haniel Barbosa},
  title     = {Reconstructing veriT Proofs in Isabelle/HOL},
  booktitle = {Proceedings Sixth Workshop on Proof eXchange for Theorem Proving,
               PxTP 2019, Natal, Brazil, August 26, 2019},
  series    = {{EPTCS}},
  volume    = {301},
  pages     = {36--50},
  year      = {2019},
  doi       = {10.4204/EPTCS.301.6},
}