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