@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}