Ermler, Marcus, Sabine Kuske, Melanie Luderer, and Caroline von Totth. 2013. “A Graph Transformational View on Reductions in NP”. Electronic Communications of the EASST 61 (June). https://doi.org/10.14279/tuj.eceasst.61.832.