@misc{indiciaefbc7d2b6a1e5,
  title = {Bounded Termination of Monotonicity-Constraint Transition Systems},
  author = {Amir M. Ben-Amram and Michael Vainer},
  year = {2014},
  url = {https://arxiv.org/abs/1202.4281},
  note = {Source identifier: 1202.4281}
}