TY  - RPRT
TI  - Algorithmic correspondence for relevance logics, bunched implication logics, and relation algebras: the algorithm PEARL and its implementation (Technical Report)
AU  - Willem Conradie
AU  - Valntin Goranko
AU  - Peter Jipsen
PY  - 2021
UR  - https://arxiv.org/abs/2108.06603
ID  - 2108.06603
ER  -