@misc{indiciaeee5c700049ef,
  title = {Nominal Abstraction},
  author = {Andrew Gacek and Dale Miller and Gopalan Nadathur},
  year = {2010},
  url = {https://arxiv.org/abs/0908.1390},
  note = {Source identifier: 0908.1390}
}