@misc{indiciaefd97ffe0e5a0,
  title = {Hybrid: A Definitional Two-Level Approach to Reasoning with Higher-Order Abstract Syntax},
  author = {Amy Felty and Alberto Momigliano},
  year = {2010},
  url = {https://arxiv.org/abs/0811.4367},
  note = {Source identifier: 0811.4367}
}