@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)",
EDITOR = "Giles Reger and Dmitriy Treytel",
SERIES = "EPiC Series in Computing",
VOLUME = 51,
PAGES = "24--28",
PUBLISHER = "EasyChair",
MONTH = "November",
YEAR = 2017}