On the complexity of the satisfiability problem”, Courant Computer Science (1979)

by A T Goldberg