S I. Adyan

• Defining relations and algorithmic problems for groups and semigroups