Synthesis of linear ranking functions
Michael A Colóon
Automated Generation of Asymptotically Non-Terminant Initial Variable Values for Linear Programs