Azamatbek Mametjanov, Victor L. Winter, Ralf Lämmel. More precise typing of rewrite strategies. In Claus Brabrand, Eric {Van Wyk}, editors, Language Descriptions, Tools and Applications, LDTA 2011, Saarbrücken, Germany, March 26-27, 2011. Proceeding. pages 3, ACM, 2011. [doi]
Abstract is missing.