TY  - RPRT
TI  - Effective Disjunction and Effective Interpolation in Suffciently Strong Proof Systems
AU  - Martin Maxa
PY  - 2026
UR  - https://arxiv.org/abs/2601.02821
ID  - 2601.02821
ER  -