Automated Reasoning With Analytic Tableaux: Tableau-Based Characterization and Theorem Proving for Default Logic

Authors
V.Risch,C.B.Schwind
Citation
V.risch,c.b.schwind, Automated Reasoning With Analytic Tableaux: Tableau-Based Characterization and Theorem Proving for Default Logic, Journal of automated reasoning , 13(2), 1994, pp. 223-242
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
13
Issue
2
Year of publication
1994
Part
1
Pages
223 - 242
Database
ACNP
SICI code