@inproceedings{Lucas96, Author = "S. Lucas", Title = "Termination of context-sensitive rewriting by rewriting", Booktitle = "Proc. of the 23rd International Colloquium on Automata, Languages, and Programming, ICALP'96 ", Editor = "F. Meyer auf der Heide and B. Monien", Series = "Lecture Notes in Computer Science", Volume = "1099", Pages = "122-133", Publisher = "Springer-Verlag, Berlin", Year = "1996" }