On the extension of a partial metric to a tree metric
scientific article; zbMATH DE number 2041909
scientific article