Neunhöffer, et al.. Deciding Word Problems of Semigroups Using Finite State Automata. 16 Oct. 2019.