On the complexity of the satisfiability problem (1979)

by A Goldberg
Venue:In 4th Workshop on Automated Deduction