Instantiation Theory: On the Foundations of Automated Deduction
James Gordon Williams · 1991
Background.- General approaches to instantiation.- Classification properties.- Homomorphisms.- Construct bases.- Unification - an algorithm and its soundness.- Term-implementation and completeness.- Implementation and computational complexity.- Related issues not addressed.