@inproceedings{towardsgeneratingeffectiveexplanationsof,
  title = {Towards Generating Effective Explanations of Logical Formulas: Challenges and Strategies},
  author = {Alexandra Mayn and Kees Van Deemter},
  year = {2020},
  booktitle = {ACL (NL4XAI, INLG) 2020 11},
  url = {https://aclanthology.org/2020.nl4xai-1.9},
}