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