Segerberg K. A completeness proof in full DDL. LLP [Internet]. 2004 Jan. 19 [cited 2025 Jul. 7];9(9):77-90. Available from: https://apcz.umk.pl/LLP/article/view/LLP.2001.005