Termination of (Canonical) Context-Sensitive Rewriting (0)

by S Lucas
Venue:Proc. 13th International Conference on Rewriting Techniques and Applications, RTA’02, Lecture