Helmut Horacek Magdalena Wolska Interpreting semi-formal utterances in dialogs about mathematical proofs. 90-106 2006 58 Data Knowl. Eng. 1 http://dx.doi.org/10.1016/j.datak.2005.05.010 db/journals/dke/dke58.html#HoracekW06