@article{LuoS99:0,
  title = {Dependent Coercions},
  author = {Zhaohui Luo and Sergei Soloviev},
  year = {1999},
  url = {http://www.elsevier.nl/locate/entcs/volume29.html},
  researchr = {https://researchr.org/publication/LuoS99%3A0},
  cites = {0},
  citedby = {0},
  journal = {Theoretical Computer Science},
  volume = {29},
  pages = {152-168},
}