TY  - RPRT
TI  - A Sequent Calculus For Trace Formula Implication
AU  - Niklas Heidler
AU  - Reiner Hähnle
PY  - 2025
UR  - https://arxiv.org/abs/2505.03693
ID  - 2505.03693
ER  -