Kürbis, N; (2021) Proof-Theory and Semantics for a Theory of Definite Descriptions. In: Das, A and Negri, S, (eds.) TABLEAUX 2021: Automated Reasoning with Analytic Tableaux and Related Methods. (pp. 95-111). Springer: Cham, Switzerland.