Experiments in automated deduction with condensed detachment (1992)

by W McCune, L Wos
Venue:in Proceedings of the Eleventh International Conference on Automated Deduction (CADE-11), Lecture Notes in Artificial Intelligence