The abstract machine for graph rewriting — supporting a fast implementation
2016 ◽
Vol E99.A
(12)
◽
pp. 2591-2596