@inproceedings{mayn-van-deemter-2020-towards, title = "Towards Generating Effective Explanations of Logical Formulas: Challenges and Strategies", author = "Mayn, Alexandra and van Deemter, Kees", editor = "Alonso, Jose M. and Catala, Alejandro", booktitle = "2nd Workshop on Interactive Natural Language Technology for Explainable Artificial Intelligence", month = nov, year = "2020", address = "Dublin, Ireland", publisher = "Association for Computational Linguistics", url = "https://preview.aclanthology.org/jlcl-multiple-ingestion/2020.nl4xai-1.9/", pages = "39--43" }