Talmina, N. et al. 2017. Quantifiers and verification strategies: connecting the dots. Proceedings of the Amsterdam Colloquium. (Dec. 2017), 465–473.