On Subsumption in Distributed Derivations

Authors
M.P.Bonacina,J.Hsiang
Citation
M.p.bonacina,j.hsiang, On Subsumption in Distributed Derivations, Journal of automated reasoning , 12(2), 1994, pp. 225-240
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
12
Issue
2
Year of publication
1994
Pages
225 - 240
Database
ACNP
SICI code