Nominal unification with atom-variables
scientific article; zbMATH DE number 6889325
scientific article