TY  - RPRT
TI  - Theta as a Horn Solver
AU  - Levente Bajczi
AU  - Milán Mondok
AU  - Vince Molnár
PY  - 2025
DO  - 10.4204/eptcs.434.5
UR  - https://arxiv.org/abs/2510.26430
ID  - 2510.26430
ER  -