@Article{Kar96-JFM, Author = "Karno, Z.", Year = "1996", Title = "{Maximal Kolmogorov Subspaces of a Topological Space as Stone Retracts of the Ambient Space}", Journal = "Journal of Formalized Mathematics", Volume = "5", Number = "1", Pages = "125-130", Comment = "TPTPRef" }