A. Indrzejczak, “Free Definite Description Theory – Sequent Calculi and Cut Elimination”, LLP, vol. 29, no. 4, pp. 505–539, Oct. 2020.