Certification of Nonclausal Connection Tableaux Proofs

Michael Färber, Cezary Kaliszyk
28th International Conference on Automated Reasoning with Analytic Tableaux and Related Methods, LNCS 11714, pp. 21 – 38, 2019.

abstract   BibTeX   PDF   doi:10.1007/978-3-030-29026-9_2