Ermler, M.; Kuske, S.; Luderer, L.; von Totth, C.
A Graph Transformational View on Reductions in NP
In: Echahed, R.; Habel, A.; Mosbah, M. (eds.): Selected Revised Papers from the 4th International Workshop on Graph Computation Models (GCM 2012). EASST, 2012, pp. 1-17
(Workgroup:
Theoretical Computer Science)