@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",
YEAR = 1998}