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 January 31, 2026. https://platform.openjournals.nl/PAC/article/view/22458.