Proof Methods in an Agenda-Based Natural-Deduction Theorem Prover.

Mabry Tyson

Browse the full AAAI paper archive.