Higher-Order Horn Clauses (1990)

by Gopalan Nadathur , Dale Miller
Venue:JOURNAL OF THE ACM
Citations:62 - 19 self

Document Versions

Higher-Order Horn Clauses –Gopalan Nadathur, Dale Miller — 1990 — JOURNAL OF THE ACM