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