1. A method for building models automatically. Experiments With an Extension of OTTER;Bourely,1994
2. Proving theorems with the modification method;Brand;SIAM Journal on Computing,1975
3. Caferra, R., Peltier, N., 1997. Combining inference and disinference rules with enumeration for model building. Workshop on IJCAI’97, Model-based Reasoning
4. Combining enumeration and deductive techniques in order to increase the class of constructible infinite models;Caferra;Journal of Symbolic Computation,1999
5. A method for simultaneous search for refutations and models by equational constraint solving;Caferra;Journal of Symbolic Computation,1992