@misc{indiciaea8575ef5d3f9,
  title = {First-Order Logic in Finite Domains: Where Semantic Evaluation Competes with SMT Solving},
  author = {Wolfgang Schreiner and Franz-Xaver Reichl},
  year = {2021},
  doi = {10.4204/eptcs.342.9},
  url = {https://arxiv.org/abs/2109.02805},
  note = {Source identifier: 2109.02805}
}