Szymanik J, Zajenkowski M. Monotonicity has only a relative effect on the complexity of quantifier verification. Proceedings of the AC. Published online December 1, 2013:219-225. Accessed December 5, 2025. https://platform.openjournals.nl/PAC/article/view/22458