@INPROCEEDINGS{MPB:FTP1997:parasearch,
AUTHOR = "Maria Paola Bonacina",
TITLE = "On the representation of parallel search in theorem proving",
BOOKTITLE = "Proceedings of the First 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}