D. Matsuoka, D. Bekki, and H. Yanaka, “A propositions-as-types approach to the generalized crossover effect”, SuB, vol. 29, pp. 986–1003, Sep. 2025.