@misc{indiciae4f77896b186e, title = {From Relation to Emulation and Interpretation: Computer Algebra Implementation of the Covering Lemma for Finite Transformation Semigroups}, author = {Attila Egri-Nagy and Chrystopher L. Nehaniv}, year = {2024}, url = {https://arxiv.org/abs/2404.11923}, note = {Source identifier: 2404.11923} }