@misc{indiciae32c55cfd8ff2,
  title = {First-Order Model-Checking in Random Graphs and Complex Networks},
  author = {Jan Dreier and Philipp Kuinke and Peter Rossmanith},
  year = {2020},
  url = {https://arxiv.org/abs/2006.14488},
  note = {Source identifier: 2006.14488}
}