An example of solvable torsion-free groups which are lattice isomorphic but not isomorphic
scientific article; zbMATH DE number 3552790