Some results on relation algebra reducts: Residuated and semilattice-ordered semigroups
scientific article; zbMATH DE number 7638212