@misc{indiciaeabb0fd92d53f,
  title = {Theta as a Horn Solver},
  author = {Levente Bajczi and Milán Mondok and Vince Molnár},
  year = {2025},
  doi = {10.4204/eptcs.434.5},
  url = {https://arxiv.org/abs/2510.26430},
  note = {Source identifier: 2510.26430}
}