@article{is/CaropreseZB22,
  author={Caroprese, Luciano and Zumpano, Ester and Bogaerts, Bart},
  journal={IEEE Intelligent Systems}, 
  title={Computing Abductive Explanations}, 
  year={2022},
  volume={37},
  number={6},
  pages={18-26},
  doi={10.1109/MIS.2022.3198337}}