Decidability of unification in the theory of one-sided distributivity and a multiplicative unit
scientific article; zbMATH DE number 987583