Marc Fuchs Dirk Fuchs Matthias Fuchs Generating Lemmas for Tableau-based Proof Search Using Genetic Programming. 1027-1032 1999 conf/gecco/1999 GECCO db/conf/gecco/gecco1999.html#FuchsFF99