alpha-leanTAP: A Declarative Theorem Prover for First-Order Classical Logic.

Joseph P. Near, William E. Byrd, Daniel P. Friedman

Browse the full ICLP paper archive.