@misc{indiciae497fe5800313,
  title = {Containment logics: algebraic completeness and axiomatization},
  author = {Stefano Bonzio and Michele Pra Baldi},
  year = {2020},
  url = {https://arxiv.org/abs/1809.06761},
  note = {Source identifier: 1809.06761}
}