Higher-order logic programming (1990)

by D Miller
Venue:In Int. Conf. on Logic Programming