TY  - RPRT
TI  - First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT Solving
AU  - Wolfgang Schreiner
AU  - Franz-Xaver Reichl
PY  - 2021
DO  - 10.4204/eptcs.342.9
UR  - https://arxiv.org/abs/2109.02805
ID  - 2109.02805
ER  -