@article{Str:92b,
  journal = {Theoret.~Comput.~Sc.},
  number = {2},
  volume = {103},
  year = {1992},
  title = {Independence of the induction principle and the axiom of choice in
           the pure calculus of constructions.},
  pages = {395-408},
  author = {T. Streicher},
}