Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
John J. Cannon. The basis of a computer system for modern algebra. In Paul S. Wang, editor, SYMSAC 1981, Proceedings of the Symposium on Symbolic and Algebraic Manipulation, Snowbird, Utah, USA, August 5-7, 1981. pages 1-5, ACM, 1981. [doi]