@ARTICLE{MPB-JH:IC:1998:search, AUTHOR = "Maria Paola Bonacina and Jieh Hsiang", TITLE = "On the modelling of search in theorem proving -- Towards a theory of strategy analysis", JOURNAL = "Information and Computation", VOLUME = 147, PAGES = "171--208", MONTH = "December", DOI = "10.1006/inco.1998.2739", YEAR = 1998}