TY  - RPRT
TI  - Efficiency of Analysis of Transitive Relations using Query-Driven, Ground-and-Solve, and Fact-Driven Inference
AU  - Yanhong A. Liu
AU  - John Idogun
AU  - Scott D. Stoller
AU  - Yi Tong
PY  - 2026
UR  - https://arxiv.org/abs/2504.21291
ID  - 2504.21291
ER  -