L. Breveglieri, “Alphabetical satisfiability problem for trace equations”, Acta Cybern, vol. 19, no. 2, pp. 479-497, Jan. 2009.