Segerberg, Krister. “A Completeness Proof in Full DDL”. Logic and Logical Philosophy 9, no. 9 (January 19, 2004): 77–90. Accessed April 26, 2024. https://apcz.umk.pl/LLP/article/view/LLP.2001.005.