"A proof of topological completeness for S4 in (0, 1)."

Grigori Mints, Ting Zhang (2005)
a service of Schloss Dagstuhl - Leibniz Center for Informatics