@misc{indiciae1d56e59eb434,
  title = {Coverability in 1-VASS with Disequality Tests},
  author = {Shaull Almagor and Nathann Cohen and Guillermo A. Pérez and Mahsa Shirmohammadi and James Worrell},
  year = {2020},
  url = {https://arxiv.org/abs/1902.06576},
  note = {Source identifier: 1902.06576}
}