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