TY  - JOUR
AU  - Luminiţa Vîţă
AU  - Douglas Bridges
TI  - Separatedness in constructive topology
JO  - Documenta mathematica
PY  - 2003
SP  - 567
EP  - 576
VL  - 8
UR  - http://geodesic.mathdoc.fr/articles/10.4171/dm/151/
DO  - 10.4171/dm/151
ID  - 10_4171_dm_151
ER  -