Kappé, T;    Brunet, P;    Luttik, B;    Silva, A;    Zanasi, F;      (2021)    Equivalence checking for weak bi-Kleene algebra.                   Logical Methods in Computer Science , 17  (3)   19:1-19:53.    10.46298/LMCS-17(3:19)2021 <https://doi.org/10.46298/LMCS-17%283%3A19%292021>.       Green open access