SEGERBERG, Krister. A completeness proof in full DDL. Logic and Logical Philosophy, [S. l.], v. 9, n. 9, p. 77–90, 2004. DOI: 10.12775/LLP.2001.005. Disponível em: https://apcz.umk.pl/LLP/article/view/LLP.2001.005. Acesso em: 8 jul. 2025.