On the complexity of the satisfiability problem (1979)

by Allen Goldberg
Venue:4th Workshop on Automated Deduction