@inproceedings{qu-etal-2022-interpretable,
    title = "Interpretable Proof Generation via Iterative Backward Reasoning",
    author = "Qu, Hanhao  and
      Cao, Yu  and
      Gao, Jun  and
      Ding, Liang  and
      Xu, Ruifeng",
    editor = "Carpuat, Marine  and
      de Marneffe, Marie-Catherine  and
      Meza Ruiz, Ivan Vladimir",
    booktitle = "Proceedings of the 2022 Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies",
    month = jul,
    year = "2022",
    address = "Seattle, United States",
    publisher = "Association for Computational Linguistics",
    url = "https://aclanthology.org/2022.naacl-main.216/",
    doi = "10.18653/v1/2022.naacl-main.216",
    pages = "2968--2981"
}