Marc Fuchs Matthias Fuchs Applying Case-Based Reasoning to Automated Deduction. 23-32 1997 conf/iccbr/1997 ICCBR db/conf/iccbr/iccbr1997.html#FuchsF97