Jin Zhao, Min-Yen Kan, Yin Leng Theng. Math information retrieval: user requirements and prototype implementation. In Ronald L. Larsen, Andreas Paepcke, José Luis Borbinha, Mor Naaman, editors, ACM/IEEE Joint Conference on Digital Libraries, JCDL 2008, Pittsburgh, PA, USA, June 16-20, 2008. pages 187-196, ACM, 2008. [doi]
Abstract is missing.