1. Bartle, R.G., Sherbert, D.R.: Introduction to Real Analysis. John Wiley & Sons, New York (1982)
2. Bläsius, K.H., Bürckert, H.J. (eds.): Deduktionssysteme, Oldenbourg (1992)
3. Bledsoe, W.W.: Challenge Problems in Elementary Analysis. Journal of Automated Reasoning 6, 341–359 (1990)
4. Lecture Notes in Computer Science;A. Bundy,1988
5. Corkill, D.D., Lesser, V.R., Hudlicka, E.: Unifying Data-Directed and Goal-Directed Control. In: Proceedings of AAAI 1982, pp. 143–147. AAAI Press, Menlo Park (1982)