@INCOLLECTION{MPB-JH:LNAI590:1992:aquarius,
AUTHOR = "Maria Paola Bonacina and Jieh Hsiang",
TITLE = "A system for distributed simplification-based theorem proving",
BOOKTITLE = "Proceedings of the First International Workshop on
Parallelization in Inference Systems, December 1990",
EDITOR = "Bertrand Fronh{\"o}fer and Wrightson, Graham",
SERIES = "Lecture Notes in Artificial Intelligence",
VOLUME = 590,
PAGES = "370--370",
PUBLISHER = "Springer",
YEAR = 1992}