1. Aiello, L., Colagrossi, A., Micarelli, A., Miola, A. (1992): Building the expert module for ITS in mathematics: a general reasoning apparatus. In: Nwana, H. S. (ed.): Mathematical intelligent learning environments. Intellectic Publishing, Oxford, pp. 35–51.
2. Bibel, W. (1987): Automated theorem proving. F. Vieweg und Sohn, Wiesbaden.
3. Bonamico, S., Cioni, G. (1988): Embedding flexible control strategies into object oriented languages. In: Mora, T. (ed.): Applied algebra, algebraic algorithms and errorcorrecting codes. Springer, Berlin Heidelberg New York Tokyo, pp. 454–457 (Lecture notes in computer science, vol. 357).
4. Bonamico, S., Cioni, G., Colagrossi, A. (1990): A gentzen based deduction method for mathematical problems solving. In: Balagurusamy, E., Sushila, B. (eds.): Computer systems and applications: recent trends. Tata McGraw-Hill, New Delhi, pp. 102–113.
5. Ebbinghaus, H. D., Flum, J., Thomas, W. (1984): Mathematical logic. Springer, New York Berlin Heidelberg.