Universal group with twenty-one defining relations
scientific article; zbMATH DE number 3568924