A K Dewdney
-
A Computing Procedure for Quantification Theory
Journal of the ACM (JACM)
The complexity of theorem-proving procedures
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing