@Article{AH90, Author = "Anantharaman, S. and Hsiang, J.", Year = "1990", Title = "{Automated Proofs of the Moufang Identities in Alternative Rings}", Journal = "Journal of Automated Reasoning", Volume = "6", Number = "1", Pages = "79-110", Comment = "TPTPRef" }