Model Checking for Successor-Invariant First-Order Logic on Minor-Closed Graph Classes | IEEE Conference Publication | IEEE Xplore