Indrzejczak, A. Free Definite Description Theory – Sequent Calculi and Cut Elimination. LLP 2020, 29, 505-539.