TY  - RPRT
TI  - Successor-Invariant First-Order Logic on Graphs with Excluded Topological Subgraphs
AU  - Kord Eickmeyer
AU  - Ken-ichi Kawarabayashi
PY  - 2016
UR  - https://arxiv.org/abs/1605.01198
ID  - 1605.01198
ER  -