@doctoralThesis{Tsovaltzi_2010, title={MENON : automating a Socratic teaching model for mathematical proofs}, author={Tsovaltzi, Dimitra}, doi={http://dx.doi.org/10.22028/D291-25971}, year={2010} }