Szymanik, J.; Zajenkowski, M. Monotonicity Has Only a Relative Effect on the Complexity of Quantifier Verification. Proceedings of the AC 2013, 219-225.