Unification of simply typed lambda-terms as logic programming (1991)

by Dale Miller
Venue:In Eighth International Logic Programming Conference