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