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.