Elementariness of a finite set of words is co-NP-complete Jean Neraud RAIRO-Theor. Inf. Appl., 24 5 (1990) 459-470 Published online: 01 February 2017 DOI: 10.1051/ita/1990240504591