Segerberg, K. A Completeness Proof in Full DDL. LLP 2004, 9, 77-90.