%0 Conference Paper %1 conf/cade/Stevens88 %A Stevens, Rick L. %B CADE %D 1988 %E Lusk, Ewing L. %E Overbeek, Ross A. %I Springer %K dblp %P 730-734 %T Challenge Problems from Nonassociative Rings for Theorem Provers. %U http://dblp.uni-trier.de/db/conf/cade/cade88.html#Stevens88 %V 310 %@ 3-540-19343-X

@inproceedings{conf/cade/Stevens88, added-at = {2017-05-19T00:00:00.000+0200}, author = {Stevens, Rick L.}, biburl = {https://www.bibsonomy.org/bibtex/279774f675db2673afc32cab1f6916ba3/dblp}, booktitle = {CADE}, crossref = {conf/cade/1988}, editor = {Lusk, Ewing L. and Overbeek, Ross A.}, ee = {https://doi.org/10.1007/BFb0012871}, interhash = {320e87101613611cd208d8e15af7a10f}, intrahash = {79774f675db2673afc32cab1f6916ba3}, isbn = {3-540-19343-X}, keywords = {dblp}, pages = {730-734}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T18:55:05.000+0200}, title = {Challenge Problems from Nonassociative Rings for Theorem Provers.}, url = {http://dblp.uni-trier.de/db/conf/cade/cade88.html#Stevens88}, volume = 310, year = 1988 }