Tree Edit Distance with Variables. Measuring the Similarity between Mathematical Formulas. - Tatsuya Akutsu; Tomoya Mori; Naotoshi Nakamura; Satoshi Kozawa; Yuhei Ueno; Thomas N. Sato (CoRR, 2021)

On the Complexity of Tree Edit Distance with Variables. - Tatsuya Akutsu; Tomoya Mori; Naotoshi Nakamura; Satoshi Kozawa; Yuhei Ueno; Thomas N. Sato (ISAAC, 2022)