Francez, I. Quantification in the Coda of Existentials. Proceedings of the AC 2007, 85-90.