1. Andrews, P.: Theorem proving via general matings. J. ACM 28, 193–214 (1981)
2. Rewriting Techniques;L Bachmair,1989
3. Ballantyne, A., Bledsoe, W.: On generating and using examples in proof discovery. In: Hayes, J., Michie, D., Pao, Y.H. (eds.) Machine Intelligence, vol. 10, pp. 3–39. Ellis Horwood, Chichester (1982)
4. Baumgartner, P., Thorstensen, E.: Instance based methods - a brief overview. Ger. J. Artif. Intell. (KI) 24(1), 35–42 (2010)
5. Baumgartner, P., Tinelli, C.: The model evolution calculus as a first-order DPLL method. Artif. Intell. 172(4–5), 591–632 (2008)