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

*αleanTAP: A Declarative Theorem Prover for First-Order Classical Logic*

ICLP, 2008.

@inproceedings{ICLP-2008-NearBF, author = "Joseph P. Near and William E. Byrd and Daniel P. Friedman", booktitle = "{Proceedings of the 24th International Conference on Logic Programming}", doi = "10.1007/978-3-540-89982-2_26", isbn = "978-3-540-89981-5", pages = "238--252", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{αleanTAP: A Declarative Theorem Prover for First-Order Classical Logic}", volume = 5366, year = 2008, }