On Multiphase-Linear Ranking Functions | Publicación