Paola Inverardi, Monica Nesi. A Rewriting Strategy to Verify Observational Congruence. Inf. Process. Lett., 35(4):191-199, 1990.
@article{InverardiN90,
title = {A Rewriting Strategy to Verify Observational Congruence},
author = {Paola Inverardi and Monica Nesi},
year = {1990},
tags = {graph-rewriting, rewriting, rewriting strategies},
researchr = {https://researchr.org/publication/InverardiN90},
cites = {0},
citedby = {0},
journal = {Inf. Process. Lett.},
volume = {35},
number = {4},
pages = {191-199},
}