Elementariness of a finite set of words is co-NP-completeJean NeraudRAIRO-Theor. Inf. Appl., 24 5 (1990) 459-470DOI: https://doi.org/10.1051/ita/1990240504591
