## Aleksi Saarela

*On the Complexity of Hmelevskii’s Theorem and Satisfiability of Three Unknown Equations*

DLT, 2009.

@inproceedings{DLT-2009-Saarela, author = "Aleksi Saarela", booktitle = "{Proceedings of the 13th International Conference on Developments in Language Theory}", doi = "10.1007/978-3-642-02737-6_36", isbn = "978-3-642-02736-9", pages = "443--453", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{On the Complexity of Hmelevskii’s Theorem and Satisfiability of Three Unknown Equations}", volume = 5583, year = 2009, }