TY  - RPRT
TI  - Multiphase-Linear Ranking Functions and their Relation to Recurrent Sets
AU  - Amir M. Ben-Amram
AU  - Jesús J. Doménech
AU  - Samir Genaim
PY  - 2019
UR  - https://arxiv.org/abs/1811.07340
ID  - 1811.07340
ER  -