B. Tomaszewicz, “Verification Strategies for Two Majority Quantifiers in Polish”, SuB, vol. 15, pp. 597–612, May 2019.