Higher-order Horn clauses (1990)

by G Nadathur, D Miller
Venue:J ACM