TY  - RPRT
TI  - Reasoning About Higher-Order Relational Specifications
AU  - Yuting Wang
AU  - Kaustuv Chaudhuri
AU  - Andrew Gacek
AU  - Gopalan Nadathur
PY  - 2013
DO  - 10.1145/2505879.2505889
UR  - https://arxiv.org/abs/1302.2584
ID  - 1302.2584
ER  -