J. Rasga and C. Sernadas, “From Translations to Non-Collapsing Logic Combinations”, B Sect Log, vol. 54, no. 3, pp. 407–446, Nov. 2025.