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