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