@misc{indiciaed465e97309ee,
  title = {Regression verification of unbalanced recursive functions with multiple calls (long version)},
  author = {Chaked R. J. Sayedoff and Ofer Strichman},
  year = {2022},
  url = {https://arxiv.org/abs/2207.14364},
  note = {Source identifier: 2207.14364}
}