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