Deduction Trees and the View Update Problem in Indefinite Deductive Databases C. A. Johnson OriginalPaper Pages: 31 - 85
Single Versus Simultaneous Equational Unification and Equational Unification for Variable-Permuting Theories Paliath NarendranFriedrich Otto OriginalPaper Pages: 87 - 115
The Use of Lemmas in the Model Elimination Procedure O. L. AstrachanD. W. Loveland OriginalPaper Pages: 117 - 141