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