@misc{indiciae154375d31d11,
  title = {Tree Edit Distance with Variables. Measuring the Similarity between Mathematical Formulas},
  author = {Tatsuya Akutsu and Tomoya Mori and Naotoshi Nakamura and Satoshi Kozawa and Yuhei Ueno and Thomas N. Sato},
  year = {2021},
  url = {https://arxiv.org/abs/2105.04802},
  note = {Source identifier: 2105.04802}
}