Fernando Orejas, Ana Sánchez, Marisa Navarro, Pilar Nivela, Ricardo Pena. Term Rewriting Methods for Partial Specifications. In ADT. 1988.
@inproceedings{OrejasSNNP88,
title = {Term Rewriting Methods for Partial Specifications},
author = {Fernando Orejas and Ana Sánchez and Marisa Navarro and Pilar Nivela and Ricardo Pena},
year = {1988},
tags = {term rewriting, graph-rewriting, rewriting},
researchr = {https://researchr.org/publication/OrejasSNNP88},
cites = {0},
citedby = {0},
booktitle = {ADT},
}