Ermler, M., Kuske, S., Luderer, M., & von Totth, C. (2013). A Graph Transformational View on Reductions in NP. Electronic Communications of the EASST, 61. https://doi.org/10.14279/tuj.eceasst.61.832