@InProceedings{Ste88, Author = "Stevens, R.L.", Year = "1988", Title = "{Challenge Problems from Nonassociative Rings for Theorem Provers}", Editor = "Lusk, E. and Overbeek, R.", BookTitle = "{Proceedings of the 9th International Conference on Automated Deduction}", Place = "Argonne, USA", Series = "Lecture Notes in Computer Science", Number = "310", Pages = "730-734", Publisher = "Springer-Verlag", Comment = "TPTPRef" }