@misc{indiciae0b1c8bc6a1d4,
  title = {Efficiency of Analysis of Transitive Relations using Query-Driven, Ground-and-Solve, and Fact-Driven Inference},
  author = {Yanhong A. Liu and John Idogun and Scott D. Stoller and Yi Tong},
  year = {2026},
  url = {https://arxiv.org/abs/2504.21291},
  note = {Source identifier: 2504.21291}
}