Magdalena Wolska, 
   Mark Buckley, 
   Helmut Horacek, 
   Ivana Kruijff-Korbayova and 
   Manfred Pinkal. Cooperative Input Interpretation and Dialogue Modelling in a Tutoring System for Mathematical Proofs.  In 
   Joerg Siekmann and 
   Matthew W. Crocker editors,  Resource Adaptive Cognitive Processes, Springer, Berlin [u.a.],   2010.      google Note: MP.
     |