@misc{indiciaeb34d7d7c3a29,
  title = {Deciding boundedness of monadic sirups},
  author = {Stanislav Kikot and Agi Kurucz and Vladimir Podolskii and Michael Zakharyaschev},
  year = {2021},
  doi = {10.1145/3452021.3458332},
  url = {https://arxiv.org/abs/2108.00433},
  note = {Source identifier: 2108.00433}
}