@INPROCEEDINGS{MPB:FTP1998:taxonomy, AUTHOR = "Maria Paola Bonacina", TITLE = "Theorem proving strategies: a search-oriented taxonomy (Position paper)", BOOKTITLE = "Proceedings of the 2nd International Workshop on First-order Theorem Proving (FTP)", EDITOR = {Ricardo Caferra and Salzer, Gernot}, PUBLISHER = {Technische Universit\"at Wien}, SERIES = "Technical Reports", NUMBER = "E1852--GS--981", PAGES = "256--259", MONTH = "November", YEAR = 1998}