Multiphase-Linear Ranking Functions and Their Relation to Recurrent Sets | Publicación