A Kirk Type Characterization of Completeness for Partial Metric Spaces | Publicación