The Complexity of Satisfiability Problems (1978)

by T J Schaefer
Venue:In Proc. STOC, ACM symposium on theory of computing