@article{BFJS:04,
  year = {2004},
  volume = {45},
  author = {M. Bunge and J. Funk and M. Jibladze and T. Streicher},
  pages = {243-266},
  title = {Definable Completeness},
  journal = {Cah.~Topol.~G\'eom.~Diff\'er.~Cat\'eg.},
  number = {4},
}