@article{JuKoDaWaYi15, author = "Yungbum Jung and Soonho Kong and Cristina David and Bwo-Yaw Wang and Kwangkeun Yi", title = "Automatically Inferring Loop Invariants via Algorithmic Learning", journal = "Mathematical Structures in Computer Science", volume = "25", number = "04", pages = "892-915", year = "2015" }