@misc{indiciae3ade1cb3039c,
  title = {Decidability, Complexity, and Expressiveness of First-Order Logic Over the Subword Ordering},
  author = {Simon Halfon and Philippe Schnoebelen and Georg Zetzsche},
  year = {2021},
  url = {https://arxiv.org/abs/1701.07470},
  note = {Source identifier: 1701.07470}
}