Translating First-Order Predicate Logic to Relation Algebra, Implemented using Z3. - Anthony Brogni; Sebastiaan J. C. Joosten (CoRR, 2023)