TY  - RPRT
TI  - A Complete Axiom System for 1-Free Kleene Star Expressions under Bisimilarity: An Elementary Proof
AU  - Allan van Hulst
PY  - 2021
UR  - https://arxiv.org/abs/2111.11144
ID  - 2111.11144
ER  -