Springer
Lecture Notes in Computer Science
International Conference on Rewriting Techniques and Applications
Specification and Analysis of Embedded Systems

van de Pol, J., & Zantema, H. (2005). Generalized innermost rewriting. In Proceedings of 16th International Conference on Term Rewriting and Applications 2005 (pp. 2–16). Springer.