Fleury, Mathias Automation of Logic, MPI for Informatics, Max Planck Society;
arXiv:1908.09480.pdf (Preprint), 216KB
Fleury, M., & Schurr, H.-J. (2019). Reconstructing veriT Proofs in Isabelle/HOL. Electronic Proceedings in Theoretical Computer Science, (301), 36-50. doi:10.4204/EPTCS.301.6.