A Quantifier Scoping Algorithm without A Free Variable Constraint (1990)

by Ian Lewin , Without A Free Variable Constraint
Citations:10 - 0 self