The higman theorem for En (A) computable groups
1973 ◽
pp. 71-74
◽