Higher-Order Horn Clauses Journal of the Association for Computing Machinery 37:4:777-814, ctober (1990)

by G Nadathur, D A Miller