Horatiu Cirstea, Claude Kirchner, Luigi Liquori. Rewriting Calculus with(out) Types. Electronic Notes in Theoretical Computer Science, 71:3-19, 2002. [doi]
@article{CirsteaKL02,
title = {Rewriting Calculus with(out) Types},
author = {Horatiu Cirstea and Claude Kirchner and Luigi Liquori},
year = {2002},
url = {http://www1.elsevier.com/gej-ng/31/29/23/145/23/show/Products/notes/index.htt#002},
tags = {graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/CirsteaKL02},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {71},
pages = {3-19},
}