1. An introduction to abstract interpretation;Abramsky,1987
2. Using examples to generate instantiations of set variables;Bledsoe,1983
3. A precondition prover for analogy;Bledsoe,1990
4. The UT interactive prover;Bledsoe,1975
5. Analogical reasoning and proof discovery;Brock,1988