Division of Informatics
Forrest Hill & 80 South Bridge
Documents on: quantifier scoping
PP519
1990 Paper in Conference Proceedings
Lewin,I
a Quantifier Scoping Algorithm Without a Free Variable Constraint