TY  - RPRT
TI  - Equivalence checking for weak bi-Kleene algebra
AU  - Tobias Kappé
AU  - Paul Brunet
AU  - Bas Luttik
AU  - Alexandra Silva
AU  - Fabio Zanasi
PY  - 2021
DO  - 10.46298/lmcs-17(3:19)2021
UR  - https://arxiv.org/abs/1807.02102
ID  - 1807.02102
ER  -