@misc{indiciae8f1a7e30cdbb,
  title = {A two-level logic approach to reasoning about computations},
  author = {Andrew Gacek and Dale Miller and Gopalan Nadathur},
  year = {2010},
  url = {https://arxiv.org/abs/0911.2993},
  note = {Source identifier: 0911.2993}
}