Multiphase-Linear Ranking Functions and Their Relation to Recurrent Sets.

Amir M. Ben-Amram, Jess J. Domnech, Samir Genaim

Browse the full SAS paper archive.