Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation

Authors
F.Bry,A.Yahya
Citation
F.bry,a.yahya, Positive Unit Hyperresolution Tableaux and Their Application to Minimal Model Generation, Journal of automated reasoning , 25(1), 2000, pp. 35-82
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
25
Issue
1
Year of publication
2000
Pages
35 - 82
Database
ACNP
SICI code