An Evaluation of Strategies to Train More Efficient Backward-Chaining Reasoners. - Yue-Bo Jia; Gavin Johnson; Alex Arnold; Jeff Heflin (K-CAP, 2023)