Higher-order horn clauses. (1990)

by G Nadathur, D Miller
Venue:J. ACM 37(4):777–814. A Proof of Lemma