@misc{indiciae1a825c5eaaf6, title = {On Multiphase-Linear Ranking Functions}, author = {Amir M. Ben-Amram and Samir Genaim}, year = {2017}, url = {https://arxiv.org/abs/1703.07547}, note = {Source identifier: 1703.07547} }