Efficient Algorithm for Math Formula Semantic Search. - Shunsuke Ohashi; Giovanni Yoko Kristianto; Goran Topic; Akiko Aizawa (IEICE Trans. Inf. Syst., 2016)