Jörg Denzinger Stephan Schulz Automatic Acquisition of Search Control Knowledge from Multiple Proof Attempts. 59-79 2000 162 Inf. Comput. 1-2 db/journals/iandc/iandc162.html#DenzingerS00