Hubert Comon, Denis Lugiez, Ph. Schnoebelen. A Rewrite-Based Type Discipline for a Subset of Computer Algebra. Journal of Symbolic Computation, 11(4):349-368, 1991.
@article{ComonLS91,
title = {A Rewrite-Based Type Discipline for a Subset of Computer Algebra},
author = {Hubert Comon and Denis Lugiez and Ph. Schnoebelen},
year = {1991},
tags = {rule-based, graph-rewriting, algebra, rewriting},
researchr = {https://researchr.org/publication/ComonLS91},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Computation},
volume = {11},
number = {4},
pages = {349-368},
}