@misc{indiciae14fcbc4436e7,
  title = {Lecture Notes on Monadic First- and Second-Order Logic on Strings},
  author = {Dino Mandrioli and Davide Martinenghi and Angelo Morzenti and Matteo Pradella and Matteo Rossi},
  year = {2023},
  url = {https://arxiv.org/abs/2301.10519},
  note = {Source identifier: 2301.10519}
}