On the Computation of Example-Based Abductive Explanations for Random Forests. - Audemard, Gilles; Lagniez, Jean-Marie; Marquis, Pierre; Szczepanski, Nicolas (2024)