Paoli F, Pra Baldi M, Szmuc D. Pure Variable Inclusion Logics. LLP [Internet]. 2021 Nov. 28 [cited 2024 Apr. 26];30(4):631-52. Available from: https://apcz.umk.pl/LLP/article/view/36176