Jean-Claude Spehner Systèmes Entiers d'Équations sur un Alphabet Fini et Conjecture d'Ehrenfeucht. 171-188 1985 39 Theor. Comput. Sci. db/journals/tcs/tcs39.html#Spehner85