@article{coquand1991algorithm,
  title = {An algorithm for testing conversion in type theory},
  author = {Coquand, Thierry},
  year = {1991},
  researchr = {https://researchr.org/publication/coquand1991algorithm},
  cites = {0},
  citedby = {0},
  journal = {Logical frameworks},
  volume = {1},
  pages = {255-279},
}