@Article{harper+07:mechanizing,
  author = 	 {Robert Harper and Daniel R. Licata},
  title = 	 {Mechanizing Metatheory in a Logical Framework},
  journal = 	 {Journal of Functional Programming},
  year = 	 2007,
  volume = 	 {?},
  number = 	 {?},
  pages = 	 {?--?},
  month = 	 {?},
  note = 	 {(To appear.)}}