@Article{Kun92, Author = "Kunen, K.", Year = "1992", Title = "{Single Axioms for Groups}", Journal = "Journal of Automated Reasoning", Volume = "9", Number = "3", Pages = "291-308", Comment = "TPTPRef" }