Talmina, N.; Kochari, A.; Szymanik, J. Quantifiers and Verification Strategies: Connecting the Dots. Proceedings of the AC 2017, 465-473.