@inproceedings{DreierKuinkeRossmanith20a,
 author = {Jan Dreier and Philipp Kuinke and Peter Rossmanith},
 booktitle = {28th Annual European Symposium on Algorithms (ESA 2020)},
 publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{ü}r Informatik},
 series = {LIPIcs},
 title = {First-Order Model-Checking in Random Graphs and Complex Networks},
 url = {https://arxiv.org/abs/2006.14488},
 volume = {173},
 year = {2020}
}