Experiments in automated deduction with condensed detachment (1992)

by William McCune, Larry Wos
Venue:In Automated Deduction—CADE