Talmina, Natalia, et al. “Quantifiers and Verification Strategies: Connecting the Dots”. Proceedings of the Amsterdam Colloquium, Dec. 2017, pp. 465-73, https://platform.openjournals.nl/PAC/article/view/22200.