@inproceedings{predgen,
  author    = {Yungbum Jung and
               Wonchan Lee and
               Bow-Yaw Wang and
               Kwangkeun Yi},
  title     = {Predicate Generation for Learning-Based Quantifier-Free
               Loop Invariant Inference},
  booktitle = {TACAS},
  year      = {2011},
  pages     = {205-219}
}