Helmut Horacek Magdalena Wolska Interpreting Semi-formal Utterances in Dialogs about Mathematical Proofs. 26-38 http://dx.doi.org/10.1007/978-3-540-27779-8_3 2004 conf/nldb/2004 NLDB db/conf/nldb/nldb2004.html#HoracekW04