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

Collaborative Benchmarking Rule-Reasoners with B-Runner. - Federico Ulliana; Pierre Bisquert; Akira Charoensit; Renaud Colin; Florent Tornil; Quentin Yeche (RuleML+RR, 2024)