TY  - RPRT
TI  - Complexity of Bradley-Manna-Sipma Lexicographic Ranking Functions
AU  - Amir M. Ben-Amram
AU  - Samir Genaim
PY  - 2015
UR  - https://arxiv.org/abs/1504.05018
ID  - 1504.05018
ER  -