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