@InProceedings{harper+:lf-theory-ea,
  author = 	 {Robert Harper and Frank Pfenning},
  title = 	 {On Equivalence and Canonical Forms in the LF Type Theory},
  booktitle = 	 {Proceedings of the Workshop on Logical Frameworks and Meta-Languages},
  year =	 1999,
  editor =	 {Amy Felty},
  address =	 {Paris, France},
  month =	 {September}
}