L. Breveglieri, A. Cherubini, C. Nuccio, and E. Rodaro, “Alphabetical satisfiability problem for trace equations”, Acta Cybern, vol. 19, no. 2, pp. 479–497, Jan. 2009.