@article{LeJuWaYi12, author = "Wonchan Lee and Yungbum Jung and Bow-yaw Wang and Kwangkeun Yi", title = "Preciate Generation for Learning-based Quantifier-free Loop Invariant", journal = "Logical Methods in Computer Science", volume = "8", number = "3:25", pages = "1-21", year = "2012" }