A Naive Prover for First-Order Logic: A Minimal Example of Analytic Completeness.

Asta Halkjr From, Jrgen Villadsen

Browse the full TABLEAUX paper archive.