TY  - RPRT
TI  - Translating Three-Variable First-Order Predicate Logic to Relation Algebra, Implemented using Z3
AU  - Anthony Brogni
AU  - Sebastiaan J. C. Joosten
PY  - 2025
DO  - 10.46298/fi.11710
UR  - https://arxiv.org/abs/2308.02513
ID  - 2308.02513
ER  -