Certified Connection Tableaux Proofs for HOL Light and TPTP

Kaliszyk, C., Urban, J., Vyskočil, J.

KALISZYK, C., J. URBAN, and J. VYSKOČIL. Certified Connection Tableaux Proofs for HOL Light and TPTP. In: Proceedings of the 2015 Conference on Certified Programs and Proofs. The 4th ACM-SIGPLAN Conference on Certified Programs and Proofs, Mumbai, 2015-01-13/2015-01-14. New York: ACM, 2015. p. 59-66. ISBN 978-1-4503-3296-5. DOI 10.1145/2676724.2693176.