1. Bartle, R.G., Sherbert, D.: Introduction to Real Analysis, 2nd edn. Wiley, Chichester (1982)
2. Lecture Notes in Artificial Intelligence;C. Benzmüller,2007
3. Benzmüller, C., Horacek, H., Lesourd, H., Kruijff-Korbayová, I., Schiller, M., Wolska, M.: A corpus of tutorial dialogs on theorem proving; the influence of the presentation of the study-material. In: Proc. Intl. Conference on Language Resources and Evaluation (LREC 2006), Genoa, Italy, ELDA (2006)
4. Autexier, S., Benzmüller, C., Dietrich, D., Meier, A., Wirth, C.P.: A generic modular data structure for proof attempts alternating on ideas and granularity. In: [14], pp. 126–142
5. Lecture Notes in Artificial Intelligence;A. Fiedler,2001