@Article{Sko01-JFM,
    Author       = "Skorulski, B.",
    Year         = "2001",
    Title        = "{The Tichonov Theorem}",
    Journal      = "Journal of Formalized Mathematics",
    Volume       = "9",
    Number       = "2",
    Pages        = "373-376",
    Comment      = "TPTPRef,YELLOW17"
}