Dale Miller
Gopalan Nadathur and Dale Miller.
Higher-order Horn clauses.
Journal of the ACM
, 37(4):777-814, October 1990.
References, Citations, etc.
Shortcuts:
Journal of the ACM homepage
Bibliography top level
Journal of the ACM Author Index
Search the HBP database