@string{ipl= {Information Processing Letters}}

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