@article{KohSaf:09,
  journal = {Mathematical Logic Quarterly},
  pages = {508-532},
  title = {On the computational content of the {B}olzano-{W}eierstrass
           principle},
  author = {Safarik, Pavol and Kohlenbach, Ulrich},
  year = 2010,
  volume = 56,
}