D. Seese

• Decidability and Generalized Quantifiers