Liang, Feng, Weixin Zeng, Runhao Zhao, and Xiang Zhao. “NeSTR: A Neuro-Symbolic Abductive Framework for Temporal Reasoning in Large Language Models”. Proceedings of the AAAI Conference on Artificial Intelligence 40, no. 38 (March 14, 2026): 31907–31915. Accessed May 10, 2026. https://ojs.aaai.org/index.php/AAAI/article/view/40460.