PFIA 2024
JIAF
Backward explanation via redefinition of predicates
Léo Saulières, Martin C. Cooper, Florence Dupin de Saint-Cyr