Computable algebra and group embeddings
embedding groups in finitely presented groups
scientific article; zbMATH DE number 3783274
scientific article