@misc{indiciaee2300de8fd3c,
  title = {Buchi automata augmented with spatial constraints: simulating an alternating with a nondeterministic and deciding the emptiness problem for the latter},
  author = {Amar Isli},
  year = {2020},
  url = {https://arxiv.org/abs/2002.11510},
  note = {Source identifier: 2002.11510}
}