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 2025 Dec. 5];:219-25. Available from: https://platform.openjournals.nl/PAC/article/view/22458