@Unpublished{licata+:extensible,
  author = 	 {Daniel R. Licata and Robert Harper},
  title = 	 {An Extensible Theory of Indexed Types},
  note = 	 {(Submitted)},
  month = 	 {July},
  year = 	 2007}