Experiments in automated deduction with condensed detachment (1992)

by W McCune, L Wos
Venue:In 11th International Conference on Automated Deduction