Experiments in Automated Deduction with Condensed Detachment.

William McCune, Larry Wos

Browse the full CADE paper archive.