C. Benzmüller, M. Schiller, and J. Siekmann. chapter Resource-Bounded Modelling and Analysis of Human-Level Interactive Proofs, page 263 -- 283. Springer-Verlag Berlin Heidelberg, (2010)
J. Trgalova, and H. Chaachoua. Proof and Proving in Mathematics Education ICMI'19 : 19th International Conference on Mathematics Instruction, Taipei, Taiwan, page 226 --231. (2009)
M. Schiller, and C. Benzmüller. Artificial Intelligence in Education -- Building Learning Systems tat Care: From Knowledge Representation to Affective Modelling, 200, page 599--601. Amsterdam, IOS Press, (2009)
N. Matsuda, and K. VanLehn. Proceedings of The 12th International Conference on Artificial Intelligence in Education, page 443 -- 450. Amsterdam, IOS Press, (2005)
C. Rosé, J. Moore, K. VanLehn, and D. Albritton. 23rd Annual Conference of the Cognitive Science Society, page 897 -- 902. Edinburgh, Scotland, Lawrence Erlbaum Associates Inc, USA, (August 2001)