Analogy in Inductive Theorem Proving
An Efficient Algorithm to Generate Prime Implicants
Metalogical Frameworks II