@misc{indiciae0cbc6376a987,
  title = {On Equivalence and Canonical Forms in the LF Type Theory},
  author = {Robert Harper and Frank Pfenning},
  year = {2001},
  url = {https://arxiv.org/abs/cs/0110028},
  note = {Source identifier: cs/0110028}
}