books.google.com - Instantiation Theory presents a new, general unification algorithm that is of immediate use in building theorem provers and logic programming systems. Instantiation theory is the study of instantiation in an abstract context that is applicable to most commonly studied logical formalisms. The volume begins...https://books.google.com/books/about/Instantiation_Theory.html?id=cikdPUBrKSMC&utm_source=gb-gplus-shareInstantiation Theory