@misc{indiciae4f3b9f510303,
  title = {Combining generic judgments with recursive definitions},
  author = {Andrew Gacek and Dale Miller and Gopalan Nadathur},
  year = {2008},
  url = {https://arxiv.org/abs/0802.0865},
  note = {Source identifier: 0802.0865}
}