SEGERBERG, K. 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: 26 apr. 2024.