Algorithmische Probleme bei Einrelatorgruppen und ihre Komplexität. K. Madlener; J. Avenhaus — 1978 Archiv für mathematische Logik und Grundlagenforschung
An algorithm for the word problem in H N N extensions and the dependence of its complexity on the group representation J. Avenhaus; K. Madlener — 1981 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications