F. Paoli, M. . Pra Baldi, and D. Szmuc, “Pure Variable Inclusion Logics”, LLP, vol. 30, no. 4, pp. 631–652, Nov. 2021.