@misc{indiciae462a63742da6,
  title = {Decidable (Ac)counting with Parikh and Muller: Adding Presburger Arithmetic to Monadic Second-Order Logic over Tree-Interpretable Structures},
  author = {Luisa Herrmann and Vincent Peth and Sebastian Rudolph},
  year = {2023},
  url = {https://arxiv.org/abs/2305.01962},
  note = {Source identifier: 2305.01962}
}