TY  - RPRT
TI  - First-Order Model-Checking in Random Graphs and Complex Networks
AU  - Jan Dreier
AU  - Philipp Kuinke
AU  - Peter Rossmanith
PY  - 2020
UR  - https://arxiv.org/abs/2006.14488
ID  - 2006.14488
ER  -