Ermler, M.; Kuske, S.; Luderer, M.; von Totth, C. A Graph Transformational View on Reductions in NP. eceasst 2013, 61.