@INPROCEEDINGS{MPB:FTP1997:parasearch, AUTHOR = "Maria Paola Bonacina", TITLE = "On the representation of parallel search in theorem proving", BOOKTITLE = "Proceedings of the 1st International Workshop on First-order Theorem Proving (FTP)", PUBLISHER = {Johannes Kepler Universit\"at}, SERIES = "Technical Reports of the Research Institute for Symbolic Computation", NUMBER = "97-50", PAGES = "22--28", MONTH = "October", YEAR = 1997}