@misc{indiciae5e6f81064c81,
  title = {Interpretable Proof Generation via Iterative Backward Reasoning},
  author = {Hanhao Qu and Yu Cao and Jun Gao and Liang Ding and Ruifeng Xu},
  year = {2022},
  url = {https://arxiv.org/abs/2205.10714},
  note = {Source identifier: 2205.10714}
}