On completion of proximity spaces by local clusters
Tom 48 / 1960
Fundamenta Mathematicae 48 (1960), 201-216
DOI: 10.4064/fm-48-2-201-216
