@INPROCEEDINGS{MPB-JH:DISCO1993:aquarius,
AUTHOR = "Maria Paola Bonacina and Jieh Hsiang",
TITLE = "Distributed deduction by {C}lause-{D}iffusion: the {A}quarius prover",
BOOKTITLE = "Proceedings of the 3rd International Symposium on Design and Implementation of Symbolic Computation Systems (DISCO)",
EDITOR = "Alfonso Miola",
SERIES = "Lecture Notes in Computer Science",
VOLUME = 722,
PAGES = "272--287",
PUBLISHER = "Springer",
MONTH = "September",
DOI = "10.1007/BFb0013183",
YEAR = 1993}