Segerberg, Krister. 2004. “A Completeness Proof in Full DDL”. Logic and Logical Philosophy 9 (9):77-90. https://doi.org/10.12775/LLP.2001.005.