%0 Journal Article
%T Resolution Theorem Proving
%A Mark E. Stickel
%J -
%D 1988
%R 10.1146/annurev.cs.03.060188.001441
%U https://www.annualreviews.org/doi/abs/10.1146/annurev.cs.03.060188.001441