Distributed Deduction by Clause-Diffusion: Distributed Contraction and the Aquarius Prover
- 1 January 1995
- journal article
- Published by Elsevier in Journal of Symbolic Computation
- Vol. 19 (1) , 245-267
- https://doi.org/10.1006/jsco.1995.1014
Abstract
No abstract availableKeywords
This publication has 0 references indexed in Scilit: