Lexical scoping as universal quanti (1989)

by D Miller
Venue:Logic Programming: Proceedings of the Sixth International Conference