Szymanik, Jakub, and Marcin Zajenkowski. “Monotonicity Has Only a Relative Effect on the Complexity of Quantifier Verification”. Proceedings of the Amsterdam Colloquium (December 1, 2013): 219–225. Accessed April 11, 2026. https://testplatform.openjournals.nl/PAC/article/view/22458.