Priorities on context conditions in rewriting systems
scientific article; zbMATH DE number 3648147