@article{Kreu:12c,
  author = {Kreuzer, Alexander P.},
  title = {A logical analysis of the generalized {B}anach contractions
           principle.},
  pages = {16pp.},
  volume = 4,
  year = 2012,
  journal = {J. of Logic and Analysis},
}