Indrzejczak, A. (2020). Free Definite Description Theory – Sequent Calculi and Cut Elimination. Logic and Logical Philosophy, 29(4), 505–539. https://doi.org/10.12775/LLP.2020.020