Chunyan Hou, Jinsong Wang, Chen Chen, Kai Shi: Loop Invariant Generation for Non-monotone Loop Structures. COMPSAC (1) 2018: 304-309