On the Number of Quantifiers as a Complexity MeasureRonald FaginJonathan Lenchneret al.2022MFCS 2022Conference paper