An Embedding Theorem for Commutative Lattice-Ordered Domains
scientific article; zbMATH DE number 3372082