@misc{indiciae7e31eaefabf5,
  title = {Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras: the algorithm PEARL and its implementation (Technical Report)},
  author = {Willem Conradie and Valntin Goranko and Peter Jipsen},
  year = {2021},
  url = {https://arxiv.org/abs/2108.06603},
  note = {Source identifier: 2108.06603}
}