A quantifier scoping algorithm without a free variable constraint - Lewin, Ian (1990)