René Thiemann, Christian Sternagel
Loops under Strategies
RTA, 2009.
@inproceedings{RTA-2009-ThiemannS,
author = "René Thiemann and Christian Sternagel",
booktitle = "{Proceedings of the 20th International Conference on Rewriting Techniques and Applications}",
doi = "10.1007/978-3-642-02348-4_2",
editor = "Ralf Treinen",
isbn = "978-3-642-02347-7",
pages = "17--31",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Loops under Strategies}",
volume = 5595,
year = 2009,
}