TALMINA, Natalia; KOCHARI, Arnold; SZYMANIK, Jakub. Quantifiers and verification strategies: connecting the dots. Proceedings of the Amsterdam Colloquium, Amsterdam, p. 465–473, 2017. DOI: 10.53437/rdyc8v96. Disponível em: https://platform.openjournals.nl/PAC/article/view/22200. Acesso em: 18 aug. 2026.