TY  - RPRT
TI  - Second-Order Quantifier Elimination and Uniform Interpolation for Bath Path Logic and the Ordered Fragment
AU  - Renate A. Schmidt
AU  - Hongkai Yin
PY  - 2026
UR  - https://arxiv.org/abs/2607.03645
ID  - 2607.03645
ER  -