G. Beavers and H. Berghel, "'Dynamic' Inferencing with Generalized Resolution", Proceedings of the 1993 ACM Symposium on Applied Computing, ACM Press (1993), pp. 614-621.

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.