Kürbis, Nils;      (2024)    Normalisation for negative free logics without and with definite descriptions.                   The Review of Symbolic Logic     pp. 1-33.    10.1017/S1755020324000157 <https://doi.org/10.1017/S1755020324000157>.    (In press).    Green open access