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