1990
Completeness of resolution revisited
Publication
Publication
Theoretical Computer Science , Volume 74 - Issue 2 p. 227- 237
Additional Metadata | |
---|---|
, , | |
elsevier | |
Theoretical Computer Science | |
Bezem, M. A. (1990). Completeness of resolution revisited. Theoretical Computer Science, 74(2), 227–237. |