Short and Simple Explanations for Datalog Derivations. - Jelle Hellings; Yuchen You (FoIKS, 2026)