Jin Zhao Min-Yen Kan Yin Leng Theng Math information retrieval: user requirements and prototype implementation. 187-196 2008 JCDL http://doi.acm.org/10.1145/1378889.1378921 conf/jcdl/2008 db/conf/jcdl/jcdl2008.html#ZhaoKT08