TY  - RPRT
TI  - An abstract fixed-point theorem for Horn formula equations
AU  - Stefan Hetzl
AU  - Johannes Kloibhofer
PY  - 2025
UR  - https://arxiv.org/abs/2511.08162
ID  - 2511.08162
ER  -