Distributed Deduction by Clause-Diffusion: The Aquarius Prover.
Journal
Design and Implementation of Symbolic Computation Systems, International Symposium, DISCO '93, Gmunden, Austria, September 15-17, 1993, Proceedings
Pages
272-287
Date Issued
1993
Author(s)
Bonacina, Maria Paola
Type
conference paper