TY  - RPRT
TI  - Containment logics: algebraic completeness and axiomatization
AU  - Stefano Bonzio
AU  - Michele Pra Baldi
PY  - 2020
UR  - https://arxiv.org/abs/1809.06761
ID  - 1809.06761
ER  -