The embedding of an ordered semigroup into an ordered group by means of pseudoorder
ordered cancellative commutative semigroup
scientific article; zbMATH DE number 1337571
scientific article