Segerberg, K. “A Completeness Proof in Full DDL”. Logic and Logical Philosophy, vol. 9, no. 9, Jan. 2004, pp. 77-90, doi:10.12775/LLP.2001.005.