Generalized sufficient conditions for modular termination of rewriting (1992)

by B Gramlich
Venue:In In Proceedings of the Third International Conference on Algebraic and Logic Programming