and Gopalan Nadathur. Higher-order logic programming (1986)

by Dale Miller
Venue:In Third International Conference on Logic Programming