Indrzejczak, A. “Free Definite Description Theory – Sequent Calculi and Cut Elimination”. Logic and Logical Philosophy, vol. 29, no. 4, Oct. 2020, pp. 505-39, doi:10.12775/LLP.2020.020.