@misc{indiciaec75813f8b888,
  title = {Weighted Tree Automata with Constraints},
  author = {Andreas Maletti and Andreea-Teodora Nász},
  year = {2023},
  url = {https://arxiv.org/abs/2302.03434},
  note = {Source identifier: 2302.03434}
}