Reasoning about higher-order relational specifications.

Yuting Wang, Kaustuv Chaudhuri, Andrew Gacek, Gopalan Nadathur

Browse the full PPDP paper archive.