Rule-aware Datalog Fact Explanation Using Group-SAT Solver. - Akira Charoensit; David Carral; Pierre Bisquert; Lucas Rouquette; Federico Ulliana (RuleML+RR (Companion), 2024)