@inproceedings{APIREP, author = "Azamat Mametjanov and Victor Winter and Ralf L\"ammel", title = "{More Precise Typing of Rewrite Strategies}", booktitle = "{11th International Workshop on Language Descriptions, Tools, and Applications (LDTA 2011)}", publisher = "ACM", year = 2011, month = mar, note = "8 pages" }