@misc{indiciae424c27020ef0,
  title = {Reasoning About Higher-Order Relational Specifications},
  author = {Yuting Wang and Kaustuv Chaudhuri and Andrew Gacek and Gopalan Nadathur},
  year = {2013},
  doi = {10.1145/2505879.2505889},
  url = {https://arxiv.org/abs/1302.2584},
  note = {Source identifier: 1302.2584}
}