Lexical scoping as universal quantification (1989)

by D Miller
Venue:Proc. 6th Int. Conference on Logic Programming