@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}