Logics of Variable Inclusion by Michele Pra Baldi, Francesco Paoli, Stefano Bonzio | Lex | Lex