Segerberg, K. 2004. A completeness proof in full DDL. Logic and Logical Philosophy. 9, 9 (Jan. 2004), 77–90. DOI:https://doi.org/10.12775/LLP.2001.005.