@article{Str:99b,
  year = {1999},
  volume = {7},
  author = {T. Streicher},
  pages = {185-207},
  title = {Inductive construction of repletion},
  journal = {Appl.~Categ.~Struct.},
  number = {1-2},
}