Synthesis of linear ranking functions
Henny B Sipma
Automated Generation of Asymptotically Non-Terminant Initial Variable Values for Linear Programs