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,
}