TPTP Reference: HN52


@Article{HN52,
    Author       = "Higman, G. and Neumann, B.H.",
    Year         = "1952",
    Title        = "{Groups as Groupoids with One Law}",
    Journal      = "Publicationes Mathematicae Debrecen",
    Volume       = "2",
    Pages        = "215-227",
    Comment      = "TPTPRef"
}