Szymanik J, Zajenkowski M. Monotonicity has only a relative effect on the complexity of quantifier verification. Proceedings of the AC [Internet]. 2013 Dec. 1 [cited 2026 Apr. 11];:219-25. Available from: https://testplatform.openjournals.nl/PAC/article/view/22458