Loops under Strategies

René Thiemann and Christian Sternagel
Proceedings of the 20th International Conference on Rewriting Techniques and Applications (RTA 2009), Lecture Notes in Computer Science 5595, pp. 17 – 31, 2009.

abstract   BibTeX   PDF   doi:10.1007/978-3-642-02348-4_2  
© Springer