@inproceedings{ReichlS21,
 author = {Wolfgang Schreiner and
Franz{-}Xaver Reichl},
 booktitle = {Proceedings of the 9th International Symposium on Symbolic Computation
in Software Science, {SCSS} 2021, Hagenberg, Austria, September 8-10,
2021},
 doi = {10.4204/EPTCS.342.9},
 editor = {Temur Kutsia},
 pages = {99–113},
 series = {{EPTCS}},
 title = {First-Order Logic in Finite Domains: Where Semantic Evaluation Competes
with {SMT} Solving},
 url = {https://doi.org/10.4204/EPTCS.342.9},
 volume = {342},
 year = {2021}
}