Modular Termination of r-Consistent and Left-Linear Term Rewriting Systems

Cite this paper

@article{SchmidtSchau1995ModularTO, title={Modular Termination of r-Consistent and Left-Linear Term Rewriting Systems}, author={Manfred Schmidt-Schau\ss and Massimo Marchiori and Sven Eric Panitz}, journal={Theor. Comput. Sci.}, year={1995}, volume={149}, pages={361-374} }