Structuring Resolution Proffs by Introducing New Lemmata

Authors
K.Horwein
Citation
K.horwein, Structuring Resolution Proffs by Introducing New Lemmata, Journal of automated reasoning , 19(2), 1997, pp. 173-203
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
19
Issue
2
Year of publication
1997
Pages
173 - 203
Database
ACNP
SICI code