TY  - RPRT
TI  - Second order logic on random rooted trees
AU  - Alexander E. Holroyd
AU  - Avi Levy
AU  - Moumanti Podder
AU  - Joel Spencer
PY  - 2017
UR  - https://arxiv.org/abs/1706.06192
ID  - 1706.06192
ER  -