del Valle-Inclan, P. (2023) “Harmony and Normalisation in Bilateral Logic”, Bulletin of the Section of Logic, 52(3), pp. 377–409. doi: 10.18778/0138-0680.2023.14.