Horofunction extension and metric compactifications | Publicación