Distanced graphs
graphs with additional relation symbols for finite distances
scientific article; zbMATH DE number 64638
scientific article