Checking overlaps of nominal rewriting rules
scientific article; zbMATH DE number 6862941
scientific article