Elimination of Self-Resolving Clauses

Authors
H.J.Ohlbach
Citation
H.j.ohlbach, Elimination of Self-Resolving Clauses, Journal of automated reasoning , 20(3), 1998, pp. 317-336
Journal title
Journal of automated reasoning → ACNP
ISSN journal
01687433
Volume
20
Issue
3
Year of publication
1998
Pages
317 - 336
Database
ACNP
SICI code