@misc{indiciaeced2616b729c,
  title = {Fagin's Theorem for Semiring Turing Machines},
  author = {Guillermo Badia and Manfred Droste and Thomas Eiter and Rafael Kiesel and Carles Noguera and Erik Paul},
  year = {2026},
  url = {https://arxiv.org/abs/2507.18375},
  note = {Source identifier: 2507.18375}
}