Synthesizing Loops from Linear Ranking Functions. - Rui-Juan Jing; Yaru Yuan; Yuxing Cai; Yi Li 093; Changbo Chen (ICFEM, 2025)