Ouaknine, J., Pouly, A., Sousa-Pinto, J., & Worrell, J. (2019). On the Decidability of Membership in Matrix-exponential Semigroups. Journal of the ACM, 66(3): 15. doi:10.1145/3286487.