Stephen Murrell, Robert Plant. On the validation and verification of production systems: a graph reduction approach. International Journal of Man-Machine Studies, 44(2):127-144, 1996. [doi]
@article{MurrellP96,
title = {On the validation and verification of production systems: a graph reduction approach},
author = {Stephen Murrell and Robert Plant},
year = {1996},
doi = {10.1006/ijhc.1996.0007},
url = {http://dx.doi.org/10.1006/ijhc.1996.0007},
tags = {graph-rewriting, rewriting, systematic-approach},
researchr = {https://researchr.org/publication/MurrellP96},
cites = {0},
citedby = {0},
journal = {International Journal of Man-Machine Studies},
volume = {44},
number = {2},
pages = {127-144},
}