Elias Koutsoupias Christos H. Papadimitriou On the Greedy Algorithm for Satisfiability. 53-55 1992 43 Inf. Process. Lett. 1 db/journals/ipl/ipl43.html#KoutsoupiasP92