SAT-Based Rigorous Explanations for Decision Lists | Publicación