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