Grohe, et al.. Isomorphism Testing for Graphs Excluding Small Minors. 16 Apr. 2020.