Applying Case-Based Reasoning to Automated Deduction.

Marc Fuchs, Matthias Fuchs

Browse the full ICCBR paper archive.