Horatiu Cirstea, Claude Kirchner. The rewriting calculus - Part II. Logic Journal of the IGPL, 9(3):377-410, 2001. [doi]
@article{CirsteaK01a,
title = {The rewriting calculus - Part II},
author = {Horatiu Cirstea and Claude Kirchner},
year = {2001},
url = {http://www3.oup.co.uk/igpl/Volume_09/Issue_03/#Cirstea2},
tags = {graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/CirsteaK01a},
cites = {0},
citedby = {0},
journal = {Logic Journal of the IGPL},
volume = {9},
number = {3},
pages = {377-410},
}