Analogy in Inductive Theorem Proving
An Efficient Algorithm to Generate Prime Implicants
Metalogical Frameworks II : Developing a Reflected Decision Procedure