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