"Short monadic second order sentences about sparse random graphs."

Andrey Kupavskii, Maksim Zhukovskii (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics