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.