K. Segerberg, “A completeness proof in full DDL”, LLP, vol. 9, no. 9, pp. 77–90, Jan. 2004.