Explanations as Programs in Probabilistic Logic Programming - Vidal, Germán (Functional and Logic Programming, 2022)