A rewriting strategy to verify observational congruence
scientific article; zbMATH DE number 4151839
scientific article