On the modelling of search in theorem proving -- towards a theory of strategy analysis
scientific article; zbMATH DE number 1267929