A Natural Deduction Automated Theorem Proving System.

Li Dafa

Browse the full CADE paper archive.