Paoli, F., M. . Pra Baldi, and D. Szmuc. “Pure Variable Inclusion Logics”. Logic and Logical Philosophy, vol. 30, no. 4, Nov. 2021, pp. 631-52, doi:10.12775/LLP.2021.015.