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