@MISC{MPB:AAR1997:search, AUTHOR = "Maria Paola Bonacina", TITLE = "A note on the analysis of theorem-proving strategies", HOWPUBLISHED = "Newsletter of the Association for Automated Reasoning, No. 36, pages 2--8", MONTH = "April", YEAR = 1997}