Frank Raiser, Thom W. Frühwirth. Strong Joinability Analysis for Graph Transformation Systems in CHR. Electronic Notes in Theoretical Computer Science, 253(4):91-111, 2009. [doi]
@article{RaiserF09,
title = {Strong Joinability Analysis for Graph Transformation Systems in CHR},
author = {Frank Raiser and Thom W. Frühwirth},
year = {2009},
doi = {10.1016/j.entcs.2009.10.019},
url = {http://dx.doi.org/10.1016/j.entcs.2009.10.019},
tags = {graph transformation, analysis, graph-rewriting, transformation system, rewriting, transformation},
researchr = {https://researchr.org/publication/RaiserF09},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {253},
number = {4},
pages = {91-111},
}