The Probabilistic Analysis of a Greedy Satisfiability Algorithm
The intractability of resolution