M. Ermler, S. Kuske, M. Luderer, and C. von Totth, “A Graph Transformational View on Reductions in NP”, eceasst, vol. 61, Jun. 2013.