Applying the graph minor theorem to the verification of graph transformation systems - Salil Joshi; Barbara König; The Pennsylvania State University CiteSeerX Archives (https://duepublico.uni-duisburg-essen.de:443/servlets/DerivateServlet/Derivate-30451/tr_dbg_2012_1.pdf, 2012)