Title: On the complexity of the satisfiability problem
First published: 1979