@misc{indiciae4945383e777b, title = {Kleene Algebras, Regular Languages and Substructural Logics}, author = {Christian Wurm}, year = {2014}, doi = {10.4204/eptcs.161.7}, url = {https://arxiv.org/abs/1408.5956}, note = {Source identifier: 1408.5956} }