Rick L. Stevens Some Experiments in Nonassociative Ring Theory with an Automated Theorem Prover. 211-221 1987 3 J. Autom. Reasoning 2 db/journals/jar/jar3.html#Stevens87