Higher-order logic programming. (1986)

by D Miller, G Nadathur
Venue:of Lecture Notes in Computer Science,