TY  - RPRT
TI  - Bounded Termination of Monotonicity-Constraint Transition Systems
AU  - Amir M. Ben-Amram
AU  - Michael Vainer
PY  - 2014
UR  - https://arxiv.org/abs/1202.4281
ID  - 1202.4281
ER  -