Talmina, N., Kochari, A., & Szymanik, J. (2017). Quantifiers and verification strategies: connecting the dots. Proceedings of the Amsterdam Colloquium, 465-473. https://doi.org/10.53437/rdyc8v96