Algorithmische Probleme bei Einrelatorgruppen und ihre Komplexität. K. Madlener, J. Avenhaus (1978) Archiv für mathematische Logik und Grundlagenforschung