Efficiency of Analysis of Transitive Relations using Query-Driven, Ground-and-Solve, and Fact-Driven Inference. - Yanhong A. Liu; Scott D. Stoller; John Idogun; Yi Tong (CoRR, 2025)