P. del Valle-Inclan, “Harmony and Normalisation in Bilateral Logic”, B Sect Log, vol. 52, no. 3, pp. 377–409, Jul. 2023.