Over Words, Two Variables Are as Powerful as One Quantifier Alternation.

Denis Thrien, Thomas Wilke

Browse the full STOC paper archive.