Query Optimization of Backward-Chaining Reasoning with Learned Heuristics. - Ben Schack; Yifan Zhang; James Hoffmeister; Jeff Heflin (RuleML+RR (Companion), 2024)