Leen Lambers, Hartmut Ehrig, Fernando Orejas
Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs
GT-VMT, 2008.
@article{GT-VMT-2006-LambersEO08, author = "Leen Lambers and Hartmut Ehrig and Fernando Orejas", doi = "10.1016/j.entcs.2008.04.026", journal = "{Electronic Notes in Theoretical Computer Science}", pages = "17--26", title = "{Efficient Conflict Detection in Graph Transformation Systems by Essential Critical Pairs}", volume = 211, year = 2008, }