Jürgen Avenhaus Klaus Madlener Subrekursive Komplexität bei Gruppen: II. Der Einbettungssatz von Higman für entscheidbare Gruppen. 183-193 1978 9 Acta Inf. db/journals/acta/acta9.html#AvenhausM78