Computing cost estimates for proof strategies - Hinkelmann, Knut ca. 20./21. Jh; Hintze, Helge (Deutsches Forschungszentrum für Künstliche Intelligenz <Kaiserslautern; Saarbrücken>: Research report, 1994)