Matsuoka, D.; Bekki, D.; Yanaka, H. A Propositions-As-Types Approach to the Generalized Crossover Effect. SuB 2025, 29, 986-1003.