@Unpublished{harper+:mechanizing,
  author = 	 {Robert Harper and Daniel Licata},
  title = 	 {Mechanizing Metatheory in a Logical Framework},
  note = 	 {(Submitted for publication.)},
  month = 	 {October},
  year = 	 2006}