TY  - RPRT
TI  - The Triguarded Fragment
AU  - Emanuel Kieroński
AU  - Sebastian Rudolph
AU  - Mantas Šimkus
PY  - 2026
UR  - https://arxiv.org/abs/2608.02013
ID  - 2608.02013
ER  -