Talmina, Natalia, Arnold Kochari, and Jakub Szymanik. “Quantifiers and Verification Strategies: Connecting the Dots”. Proceedings of the Amsterdam Colloquium (December 1, 2017): 465–473. Accessed December 5, 2025. https://platform.openjournals.nl/PAC/article/view/22200.