"More precise typing of rewrite strategies."

Azamatbek Mametjanov, Victor L. Winter, Ralf Lämmel (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics