Successor-Invariant First-Order Logic on Graphs with Excluded Topological Subgraphs.

Kord Eickmeyer, Ken-ichi Kawarabayashi

Browse the full CSL paper archive.