Talmina, N., Kochari, A., & Szymanik, J. (2017). Quantifiers and verification strategies: connecting the dots. Proceedings of the Amsterdam Colloquium, 465-473. https://platform.openjournals.nl/PAC/article/view/22200