Unification with extended patterns
scientific article; zbMATH DE number 1238716
scientific article