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