@article{oai:soar-ir.repo.nii.ac.jp:00018411,
 author = {Narita, Keiko and Artur, Korniłowicz and Shidama, Yasunari},
 issue = {4},
 journal = {Formalized Mathematics},
 month = {Dec},
 note = {Article, Formalized Mathematics. 19(4): 233-239 (2011)},
 pages = {233--239},
 title = {More on the Continuity of Real Functions},
 volume = {19},
 year = {2011}
}