On Subsumption in Distributed Deduction
Resource
Journal of Automated Deduction, Vol.12, No.2, pp.225-240
Journal
Journal of Automated Deduction
Journal Volume
Vol.12
Journal Issue
No.2
Pages
225-240
Date Issued
1994
Date
1994
Author(s)
Bonacina M. P.
Hsiang J.
Type
journal article