TY  - RPRT
TI  - Note on a Translation from First-Order Logic into the Calculus of Relations Preserving Validity and Finite Validity
AU  - Yoshiki Nakamura
PY  - 2025
DO  - 10.46298/fi.12365
UR  - https://arxiv.org/abs/2310.02845
ID  - 2310.02845
ER  -