Using discourse context to interpret object-denoting mathematical expressions - Kohlhase, Michael; et al. (4th Workshop Towards a Digital Mathematics Library, DML 2011, 2011)