Breveglieri Luca; Cherubini A.; Nuccio C.; Rodaro E.: Alphabetical satisfiability problem for trace equations. In: Acta cybernetica, (19) 2. pp. 479-497. (2009)