TY  - RPRT
TI  - Foundations for an Abstract Proof Theory in the Context of Horn Rules
AU  - Tim S. Lyon
AU  - Piotr Ostropolski-Nalewaja
PY  - 2026
DO  - 10.1145/3821208
UR  - https://arxiv.org/abs/2304.05697
ID  - 2304.05697
ER  -