Higman's embedding theorem in a general setting and its application to existentially closed algebras
scientific article; zbMATH DE number 1093123