A. Baudisch

• Decidability and Generalized Quantifiers