@misc{indiciaeb36a20bf1969,
  title = {Full abstraction for nominal general references},
  author = {Nikos Tzevelekos},
  year = {2009},
  doi = {10.2168/lmcs-5(3:8)2009},
  url = {https://arxiv.org/abs/0907.4477},
  note = {Source identifier: 0907.4477}
}