SEGERBERG, Krister. A completeness proof in full DDL. Logic and Logical Philosophy. Online. 19 January 2004. Vol. 9, no. 9, pp. 77-90. [Accessed 7 February 2026]. DOI 10.12775/LLP.2001.005.