SZYMANIK, Jakub; ZAJENKOWSKI, Marcin. Monotonicity has only a relative effect on the complexity of quantifier verification. Proceedings of the Amsterdam Colloquium, Amsterdam, p. 219–225, 2013. Disponível em: https://platform.openjournals.nl/PAC/article/view/22458.. Acesso em: 19 apr. 2026.