Talmina, N., Kochari, A. and Szymanik, J. (2017) “Quantifiers and verification strategies: connecting the dots”, Proceedings of the Amsterdam Colloquium, pp. 465–473. doi:10.53437/rdyc8v96.