Certification of Nonclausal Connection Tableaux Proofs.

Michael Frber, Cezary Kaliszyk

Browse the full TABLEAUX paper archive.