Higher-Order Horn Clauses (1990)

by Gopalan Nadathur, Dale Miller
Venue:JOURNAL OF THE ACM