Breveglieri, L. 2009. Alphabetical satisfiability problem for trace equations. Acta Cybernetica. 19, 2 (Jan. 2009), 479-497.