APA (7th ed.) Citation

LIU, Y. A., IDOGUN, J., STOLLER, S. D., & TONG, Y. (2026). Efficiency of Analysis of Transitive Relations Using Query-Driven, Ground-and-Solve, and Fact-Driven Inference. Theory & Practice of Logic Programming, 26(1/2), 235. https://doi.org/10.1017/S1471068426100623

Chicago Style (17th ed.) Citation

LIU, YANHONG A., JOHN IDOGUN, SCOTT D. STOLLER, and YI TONG. "Efficiency of Analysis of Transitive Relations Using Query-Driven, Ground-and-Solve, and Fact-Driven Inference." Theory & Practice of Logic Programming 26, no. 1/2 (2026): 235. https://doi.org/10.1017/S1471068426100623.

MLA (9th ed.) Citation

LIU, YANHONG A., et al. "Efficiency of Analysis of Transitive Relations Using Query-Driven, Ground-and-Solve, and Fact-Driven Inference." Theory & Practice of Logic Programming, vol. 26, no. 1/2, 2026, p. 235, https://doi.org/10.1017/S1471068426100623.