Talmina, N., Kochari, A. and Szymanik, J. (2017) “Quantifiers and verification strategies: connecting the dots”, Proceedings of the Amsterdam Colloquium, pp. 465–473. Available at: https://platform.openjournals.nl/PAC/article/view/22200 (Accessed: 5 December 2025).