Distributed Deduction by Clause-Diffusion:Distributed Contraction and the Aquarius Prover

Resource

Journal of Symbolic Computation, 23, p.

Journal

Journal of Symbolic Computation

Journal Issue

23

Pages

-

Date Issued

1995

Author(s)

Bonacina, M. P.

Hsiang, Jieh

DOI

URI

Type

journal article