@misc{indiciaed7fe29522820, title = {Backward explanations via redefinition of predicates}, author = {Léo Saulières and Martin C. Cooper and Florence Dupin de Saint Cyr}, year = {2024}, url = {https://arxiv.org/abs/2408.02606}, note = {Source identifier: 2408.02606} }