Typed generic traversal with term rewriting strategies
scientific article; zbMATH DE number 1934823
scientific article