TY  - RPRT
TI  - On variable non-dependence of first-order formulas
AU  - Koen Lefever
AU  - Gergely Székely
PY  - 2025
UR  - https://arxiv.org/abs/2501.16633
ID  - 2501.16633
ER  -