Sublattice subgroups of finitely presented lattice-ordered groups.
recursively enumerable sets of relations
scientific article; zbMATH DE number 5078119
scientific article