Dimitra Tsovaltzi Helmut Horacek Armin Fiedler Building Hint Specifications in an NL Tutorial System for Mathematics. 2004 conf/flairs/2004 FLAIRS Conference db/conf/flairs/flairs2004.html#TsovaltziHF04