, ,
elsevier
Theoretical Computer Science

Bezem, M. A. (1990). Completeness of resolution revisited. Theoretical Computer Science, 74(2), 227–237.