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