TY - RPRT TI - Causality and Minimal Supports in Recursive Datalog AU - Ratan Bahadur Thapa AU - Steffen Staab PY - 2026 UR - https://arxiv.org/abs/2607.16443 ID - 2607.16443 ER -