## Luca Breveglieri, Alessandra Cherubini, Claudia Di Nucci, Emanuele Rodaro

*NP-completeness of the alphabetical satisfiability problem for trace equations*

AFL, 2008.

@inproceedings{AFL-2008-BreveglieriCNR, author = "Luca Breveglieri and Alessandra Cherubini and Claudia Di Nucci and Emanuele Rodaro", booktitle = "{Proceedings of the 12th International Conference on Automata and Formal Languages}", isbn = "978-963-311-367-7", pages = "111--121", title = "{NP-completeness of the alphabetical satisfiability problem for trace equations}", year = 2008, }