@inproceedings{Str:89,
  title = {Independence results for calculi of dependent types.},
  pages = {141-154},
  author = {T. Streicher},
  publisher = {Springer},
  volume = {389},
  year = {1989},
  booktitle = {Proceedings of {CTCS}'89},
  series = {Lecture Notes in Computer Science},
}