Andrei Dorman, Tobias Heindel, Barbara König. Structured Operational Semantics for Graph Rewriting. Sci. Ann. Cuza Univ., 22(1):105-145, 2012. [doi]
@article{DormanHK12, title = {Structured Operational Semantics for Graph Rewriting}, author = {Andrei Dorman and Tobias Heindel and Barbara König}, year = {2012}, doi = {10.7561/SACS.2012.1.105}, url = {http://dx.doi.org/10.7561/SACS.2012.1.105}, researchr = {https://researchr.org/publication/DormanHK12}, cites = {0}, citedby = {0}, journal = {Sci. Ann. Cuza Univ.}, volume = {22}, number = {1}, pages = {105-145}, }