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)