Francez I. Quantification in the coda of existentials. Proceedings of the AC. Published online December 1, 2007:85-90. doi:10.53437/312qxv17