Comparison of Priority Rules in Pattern Matching and Term Rewriting

Cite this paper

@article{Laville1991ComparisonOP, title={Comparison of Priority Rules in Pattern Matching and Term Rewriting}, author={Alain Laville}, journal={J. Symb. Comput.}, year={1991}, volume={11}, pages={321-347} }