@inproceedings{083c7caafea94f7fba84b8ce622fcfc7,
title = "Generalized innermost rewriting",
abstract = "We propose two generalizations of innermost rewriting for which we prove that termination of innermost rewriting is equivalent to termination of generalized innermost rewriting. As a consequence, by rewriting in an arbitrary TRS certain non-innermost steps may be allowed by which the termination behavior and efficiency is often much better, but never worse than by only doing innermost rewriting.",
author = "\{Pol, van de\}, J.C. and H. Zantema",
year = "2005",
doi = "10.1007/978-3-540-32033-3\_2",
language = "English",
isbn = "3-540-25596-6",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "2--16",
editor = "J. Giesl",
booktitle = "Rewriting Techniques and Applications (Proceedings 16th International Conference, RTA 2005, Nara, Japan, April 19-21, 2005)",
address = "Germany",
}