1. On branching quantifiers in English;Barwise;J. Philos. Logic,1979
2. Paths, trees, and flowers;Edmonds;Canad. J. Math.,1965
3. Computers and Intractability, A Guide to the Theory of NP-Completeness;Garey,1979
4. L. Henkin, Some remarks on infinitely long formulas, Infinitistic Methods, Pergamon Press, Oxford, 1961, pp. 167–183.
5. Quantifiers vs. quantification theory;Hintikka;Dialectica,1973