Representations of distributive lattice ordered semigroups with binary relations, Algebra Universalis (1991)

by H Andreka