@inproceedings{sprague-etal-2023-deductive,
    title = "Deductive Additivity for Planning of Natural Language Proofs",
    author = "Sprague, Zayne  and
      Bostrom, Kaj  and
      Chaudhuri, Swarat  and
      Durrett, Greg",
    editor = "Dalvi Mishra, Bhavana  and
      Durrett, Greg  and
      Jansen, Peter  and
      Neves Ribeiro, Danilo  and
      Wei, Jason",
    booktitle = "Proceedings of the 1st Workshop on Natural Language Reasoning and Structured Explanations (NLRSE)",
    month = jun,
    year = "2023",
    address = "Toronto, Canada",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/jlcl-multiple-ingestion/2023.nlrse-1.11/",
    doi = "10.18653/v1/2023.nlrse-1.11",
    pages = "139--156"
}