Talmina, Natalia, Arnold Kochari, and Jakub Szymanik. 2017. “Quantifiers and Verification Strategies: Connecting the Dots”. Proceedings of the Amsterdam Colloquium, December, 465-73. https://platform.openjournals.nl/PAC/article/view/22200.