Extending partial orders to dense linear orders
scientific article; zbMATH DE number 1308086