@article{Located-overt,
        title = "Locatedness and overt sublocales",
        author = "Bas Spitters",
        year = "2010",
	Volume=162, 
	number=1, 
	Pages={36--54},
        doi = {http://dx.doi.org/10.1016/j.apal.2010.07.002},
        journal = {Annals of Pure and Applied Logic},
}