@inproceedings{LeWaYi12,
  author = "Wonchan Lee and Bow-Yaw Wang and Kwangkeun Yi",
  title = "Termination Analysis with Algorithmic Learning",
  booktitle = "Proceedings of The International Conference on Computer Aided Verification({\bf CAV})",
  volume = "7358",
  series = "Lecture Notes in Computer Science",
  pages = "88--104",
  year = "2012"
}