@ARTICLE{MPB-JH:LC1996:search, AUTHOR = "Maria Paola Bonacina and Jieh Hsiang", TITLE = "On the notion of complexity of search in theorem proving", JOURNAL = "Bulletin of Symbolic Logic", VOLUME = 3, NUMBER = 2, PAGES = "253--254", MONTH = "June", YEAR = 1997, NOTE= {Presented at the Logic Colloquium 1996, San Sebasti{\`a}n, Spain, July 1996}}