Marc Fuchs Matthias Fuchs Feature-Based Learning of Search-Guiding Heuristics for Theorem Proving. 175-189 1998 11 AI Commun. 3-4 db/journals/aicom/aicom11.html#FuchsF98