@inproceedings{DBLP:conf/lics/DreierT23,
 author = {Jan Dreier and
Jamie Tucker{-}Foltz},
 bibsource = {dblp computer science bibliography, https://dblp.org},
 biburl = {https://dblp.org/rec/conf/lics/DreierT23.bib},
 booktitle = {{LICS}},
 doi = {10.1109/LICS56636.2023.10175694},
 pages = {1--13},
 timestamp = {Thu, 20 Jul 2023 11:32:59 +0200},
 title = {Pseudorandom Finite Models},
 url = {https://doi.org/10.1109/LICS56636.2023.10175694},
 year = {2023}
}