Fixed Points on the Real Numbers without the Equality Test

@article{Korovina2002FixedPO,
  title={Fixed Points on the Real Numbers without the Equality Test},
  author={Margarita V. Korovina},
  journal={Electr. Notes Theor. Comput. Sci.},
  year={2002},
  volume={66},
  pages={104-112}
}