TY  - BOOK
AU  - Stefano Bonzio, Francesco Paoli, Michele Pra Baldi
TI  - Logics of Variable Inclusion
SN  - 9783031042973
PB  - Springer
UR  - https://link.springer.com/openurl?genre=book&isbn=978-3-031-04297-3
ER  -