@article{KP92,
  title = "On the greedy algorithm for satisfiability",
  author = "E. Koutsoupias and C. H. Papadimitriou",
  year = "1992",
  journal = "Information Processing Letters",
  month = "aug",
  number = "1",
  pages = "53--55",
  volume = "43",
}