Beavers, G. and H. Berghel, "A Taxonomy of Automated Theorem Proving Environments", Proceedings of the 1992 Arkansas Computer Conference (1992), pp. 1-7.
HTML NOTE: Because of the limited HTML character set, this article had to be manually "massaged" into its present form. There are, no doubt, errors which have resulted from the conversion to HTML from the original word processing format. Please reference the published, hardcopy version.