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