Higher-Order Horn Clauses (0)

by G Nadathur, D Miller
Venue:Journal of the ACM