Lexical scoping as universal quantification (1989)

by Dale Miller
Venue:In Sixth International Logic Programming Conference