Szymanik, Jakub, and Marcin Zajenkowski. 2013. “Monotonicity Has Only a Relative Effect on the Complexity of Quantifier Verification”. Proceedings of the Amsterdam Colloquium, December, 219-25. https://testplatform.openjournals.nl/PAC/article/view/22458.