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