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