TY  - RPRT
TI  - An Exponential Succinctness Gap between Three-Variable Logic and the Calculus of Relations
AU  - Yuya Uezato
PY  - 2026
UR  - https://arxiv.org/abs/2609.26778
ID  - 2609.26778
ER  -