@INPROCEEDINGS{MPB-DAP:ARCADE2017:ARforXAI,
AUTHOR = "Maria Paola Bonacina",
TITLE = "Automated reasoning for explainable artificial intelligence",
BOOKTITLE = "Proceedings of the First Workshop on Automated Reasoning: Challenges,
Applications, Directions, Exemplary Achievements (ARCADE),
Twenty-Sixth International Conference on Automated Deduction (CADE)",
EDITOR = "Giles Reger and Dmitriy Treytel",
SERIES = "EasyChair Proceedings in Computing (EPiC)",
VOLUME = "in press",
PAGES = "1--5",
YEAR = 2017}