L. Breveglieri, A. Cherubini, C. Nuccio, and E. Rodaro. Alphabetical Satisfiability Problem for Trace Equations. Acta Cybernetica, 19(2):479-497, 2009. [ PDF ]
This document was translated from BibTEX by bibtex2html