Jürgen Avenhaus Klaus Madlener E<sub>n</sub>\E<sub>n-1</sub>-entscheidbare Gruppen. 42-51 1975 conf/automata/1975 Automata Theory and Formal Languages db/conf/automata/automata1975.html#AvenhausM75