Lexical scoping as universal quanti - cation (1989)

by D Miller
Venue:In Sixth International Logic Programming Conference