Designing an Automated Concurrent Tableau-Based Theorem Prover for First-Order Logic
Design of a Tableau-Based Automated Theorem Prover and Output of Machine-Checkable Proofs
A new version of content is available.
