TY  - RPRT
TI  - A Fixed-point Theorem for Horn Formula Equations
AU  - Stefan Hetzl
AU  - Johannes Kloibhofer
PY  - 2021
DO  - 10.4204/eptcs.344.5
UR  - https://arxiv.org/abs/2109.04633
ID  - 2109.04633
ER  -