Formal Explanations of Black-Box Ranking Functions | Publicación