Book

Logics of Variable Inclusion

by Stefano Bonzio, Francesco Paoli, Michele Pra Baldi