Indrzejczak, Andrzej. “Free Definite Description Theory – Sequent Calculi and Cut Elimination”. Logic and Logical Philosophy 29, no. 4 (October 30, 2020): 505–539. Accessed April 19, 2024. https://apcz.umk.pl/LLP/article/view/LLP.2020.020.