Talmina N, Kochari A, Szymanik J. Quantifiers and verification strategies: connecting the dots. Proceedings of the AC [Internet]. 2017 Dec. 1 [cited 2025 Dec. 5];:465-73. Available from: https://platform.openjournals.nl/PAC/article/view/22200