Higher-Order Horn Clauses (1990)

by Gopalan Nadathur , Dale Miller
Venue:JOURNAL OF THE ACM
Citations:61 - 20 self