Loops under Strategies (2009)

by R Thiemann, C Sternagel
Venue:In Proceedings of the 20th International Conference on Rewriting Techniques and Applications (RTA’09