The L-Depth Eventual Linear Ranking Functions for Single-Path Linear Constraint Loops.

Yi Li, Guang Zhu, Yong Feng

Browse the full TASE paper archive.