Matthias Fuchs: Learning Proof Heuristics by Adaptive Parameters. ICML 1995: 235-243