Segerberg, Krister. “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.