Automated Natural Deduction Prover and Experiments.

Li Dafa

Browse the full TABLEAUX paper archive.