G. Gherardi and E. Orlandelli, “Super-Strict Implications”, B Sect Log, vol. 50, no. 1, pp. 1–34, Jan. 2021, doi: 10.18778/0138-0680.2021.02.