@inproceedings{proofwritergeneratingimplicationsproofs,
  title = {ProofWriter: Generating Implications, Proofs, and Abductive Statements over Natural Language},
  author = {Oyvind Tafjord and Bhavana Dalvi Mishra and Peter Clark},
  year = {2020},
  booktitle = {Findings (ACL) 2021 8},
  eprint = {2012.13048},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2012.13048v2},
}