Logics of Variable Inclusion - Bonzio, Stefano; Paoli, Francesco; Pra Baldi, Michele (Cham Springer International Publishing AG, 2022)