TY  - RPRT
TI  - Decidability, Complexity, and Expressiveness of First-Order Logic Over the Subword Ordering
AU  - Simon Halfon
AU  - Philippe Schnoebelen
AU  - Georg Zetzsche
PY  - 2021
UR  - https://arxiv.org/abs/1701.07470
ID  - 1701.07470
ER  -