Szymanik, J. and Zajenkowski, M. 2013. Monotonicity has only a relative effect on the complexity of quantifier verification. Proceedings of the Amsterdam Colloquium. (Dec. 2013), 219–225.