Martin Grohe, Dániel Marx: Structure theorem and isomorphism test for graphs with excluded topological subgraphs. STOC 2012: 173-192