Isolde Adler Martin Grohe Stephan Kreutzer Computing excluded minors. 641-650 2008 SODA http://doi.acm.org/10.1145/1347082.1347153 conf/soda/2008 db/conf/soda/soda2008.html#AdlerGK08